Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127188546> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2127188546 abstract "This paper proposes a methodology to build safe distributed systems that considers both conceptual and operational description aspects. At the conceptual level, we focus on the safety properties expected from the system. Such properties are stated and then verified. At the operational level, we focus on properties addressing the optimization of the generated code. Traceability between the two levels is managed in a satisfactory semi-automatic way. It preserves the properties proved at the first level and discards informations that are not relevant for code generation." @default.
- W2127188546 created "2016-06-24" @default.
- W2127188546 creator A5021647021 @default.
- W2127188546 creator A5039526664 @default.
- W2127188546 date "2002-12-23" @default.
- W2127188546 modified "2023-09-26" @default.
- W2127188546 title "A multi formalisms prototyping approach from formal description to implementation of distributed systems" @default.
- W2127188546 cites W1482698503 @default.
- W2127188546 cites W1491461849 @default.
- W2127188546 cites W1496843343 @default.
- W2127188546 cites W1521377075 @default.
- W2127188546 cites W1534850333 @default.
- W2127188546 cites W1589724738 @default.
- W2127188546 cites W2135599980 @default.
- W2127188546 cites W2160688791 @default.
- W2127188546 cites W2179661259 @default.
- W2127188546 cites W22900190 @default.
- W2127188546 cites W2944952970 @default.
- W2127188546 doi "https://doi.org/10.1109/iwrsp.1996.506735" @default.
- W2127188546 hasPublicationYear "2002" @default.
- W2127188546 type Work @default.
- W2127188546 sameAs 2127188546 @default.
- W2127188546 citedByCount "6" @default.
- W2127188546 crossrefType "proceedings-article" @default.
- W2127188546 hasAuthorship W2127188546A5021647021 @default.
- W2127188546 hasAuthorship W2127188546A5039526664 @default.
- W2127188546 hasConcept C115903868 @default.
- W2127188546 hasConcept C116253237 @default.
- W2127188546 hasConcept C120665830 @default.
- W2127188546 hasConcept C121332964 @default.
- W2127188546 hasConcept C127413603 @default.
- W2127188546 hasConcept C133162039 @default.
- W2127188546 hasConcept C153876917 @default.
- W2127188546 hasConcept C171018156 @default.
- W2127188546 hasConcept C177264268 @default.
- W2127188546 hasConcept C192209626 @default.
- W2127188546 hasConcept C199360897 @default.
- W2127188546 hasConcept C201995342 @default.
- W2127188546 hasConcept C2524010 @default.
- W2127188546 hasConcept C26517878 @default.
- W2127188546 hasConcept C2776760102 @default.
- W2127188546 hasConcept C33923547 @default.
- W2127188546 hasConcept C38652104 @default.
- W2127188546 hasConcept C41008148 @default.
- W2127188546 hasConceptScore W2127188546C115903868 @default.
- W2127188546 hasConceptScore W2127188546C116253237 @default.
- W2127188546 hasConceptScore W2127188546C120665830 @default.
- W2127188546 hasConceptScore W2127188546C121332964 @default.
- W2127188546 hasConceptScore W2127188546C127413603 @default.
- W2127188546 hasConceptScore W2127188546C133162039 @default.
- W2127188546 hasConceptScore W2127188546C153876917 @default.
- W2127188546 hasConceptScore W2127188546C171018156 @default.
- W2127188546 hasConceptScore W2127188546C177264268 @default.
- W2127188546 hasConceptScore W2127188546C192209626 @default.
- W2127188546 hasConceptScore W2127188546C199360897 @default.
- W2127188546 hasConceptScore W2127188546C201995342 @default.
- W2127188546 hasConceptScore W2127188546C2524010 @default.
- W2127188546 hasConceptScore W2127188546C26517878 @default.
- W2127188546 hasConceptScore W2127188546C2776760102 @default.
- W2127188546 hasConceptScore W2127188546C33923547 @default.
- W2127188546 hasConceptScore W2127188546C38652104 @default.
- W2127188546 hasConceptScore W2127188546C41008148 @default.
- W2127188546 hasLocation W21271885461 @default.
- W2127188546 hasOpenAccess W2127188546 @default.
- W2127188546 hasPrimaryLocation W21271885461 @default.
- W2127188546 hasRelatedWork W1593271394 @default.
- W2127188546 hasRelatedWork W1967812359 @default.
- W2127188546 hasRelatedWork W2047287979 @default.
- W2127188546 hasRelatedWork W2099824516 @default.
- W2127188546 hasRelatedWork W2121953666 @default.
- W2127188546 hasRelatedWork W2249885551 @default.
- W2127188546 hasRelatedWork W2387645942 @default.
- W2127188546 hasRelatedWork W2770103357 @default.
- W2127188546 hasRelatedWork W60304821 @default.
- W2127188546 hasRelatedWork W1749023391 @default.
- W2127188546 isParatext "false" @default.
- W2127188546 isRetracted "false" @default.
- W2127188546 magId "2127188546" @default.
- W2127188546 workType "article" @default.