Matches in SemOpenAlex for { <https://semopenalex.org/work/W1524361563> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1524361563 abstract "Formal Approaches have been recognized to be of high importance for designing communication and cooperation protocols. They provide unambiguous descriptions, support validation analyses and allow assessment of the conformance of implementations against specifications. This paper presents how some mature and important techniques based on extensions of state machines are able to handle in an integrated way functional and time requirements. It is in particular shown how Time Petri net models can be combined together with the Estelle Formal Description Technique to define Estelle*, a very powerful language for describing highly dynamic and time dependent hierarchies of communicating architectures." @default.
- W1524361563 created "2016-06-24" @default.
- W1524361563 creator A5018022988 @default.
- W1524361563 creator A5088448470 @default.
- W1524361563 date "1992-01-01" @default.
- W1524361563 modified "2023-09-30" @default.
- W1524361563 title "Time in state based formal description techniques for distributed systems" @default.
- W1524361563 cites W1551758164 @default.
- W1524361563 cites W1983536891 @default.
- W1524361563 cites W2004638475 @default.
- W1524361563 cites W2027232632 @default.
- W1524361563 cites W2042801853 @default.
- W1524361563 cites W2054409309 @default.
- W1524361563 cites W2058178813 @default.
- W1524361563 cites W2079636926 @default.
- W1524361563 cites W2083567135 @default.
- W1524361563 cites W2118954772 @default.
- W1524361563 cites W2125739093 @default.
- W1524361563 cites W2138723607 @default.
- W1524361563 cites W2151786168 @default.
- W1524361563 cites W2534838886 @default.
- W1524361563 cites W91584010 @default.
- W1524361563 doi "https://doi.org/10.1007/bfb0031991" @default.
- W1524361563 hasPublicationYear "1992" @default.
- W1524361563 type Work @default.
- W1524361563 sameAs 1524361563 @default.
- W1524361563 citedByCount "2" @default.
- W1524361563 crossrefType "book-chapter" @default.
- W1524361563 hasAuthorship W1524361563A5018022988 @default.
- W1524361563 hasAuthorship W1524361563A5088448470 @default.
- W1524361563 hasConcept C111498074 @default.
- W1524361563 hasConcept C116253237 @default.
- W1524361563 hasConcept C120314980 @default.
- W1524361563 hasConcept C145243422 @default.
- W1524361563 hasConcept C146072743 @default.
- W1524361563 hasConcept C167822520 @default.
- W1524361563 hasConcept C199360897 @default.
- W1524361563 hasConcept C26713055 @default.
- W1524361563 hasConcept C2985583900 @default.
- W1524361563 hasConcept C38677869 @default.
- W1524361563 hasConcept C41008148 @default.
- W1524361563 hasConcept C48103436 @default.
- W1524361563 hasConcept C75606506 @default.
- W1524361563 hasConcept C80444323 @default.
- W1524361563 hasConceptScore W1524361563C111498074 @default.
- W1524361563 hasConceptScore W1524361563C116253237 @default.
- W1524361563 hasConceptScore W1524361563C120314980 @default.
- W1524361563 hasConceptScore W1524361563C145243422 @default.
- W1524361563 hasConceptScore W1524361563C146072743 @default.
- W1524361563 hasConceptScore W1524361563C167822520 @default.
- W1524361563 hasConceptScore W1524361563C199360897 @default.
- W1524361563 hasConceptScore W1524361563C26713055 @default.
- W1524361563 hasConceptScore W1524361563C2985583900 @default.
- W1524361563 hasConceptScore W1524361563C38677869 @default.
- W1524361563 hasConceptScore W1524361563C41008148 @default.
- W1524361563 hasConceptScore W1524361563C48103436 @default.
- W1524361563 hasConceptScore W1524361563C75606506 @default.
- W1524361563 hasConceptScore W1524361563C80444323 @default.
- W1524361563 hasLocation W15243615631 @default.
- W1524361563 hasOpenAccess W1524361563 @default.
- W1524361563 hasPrimaryLocation W15243615631 @default.
- W1524361563 hasRelatedWork W1527974694 @default.
- W1524361563 hasRelatedWork W1547268314 @default.
- W1524361563 hasRelatedWork W1550457882 @default.
- W1524361563 hasRelatedWork W1703772308 @default.
- W1524361563 hasRelatedWork W189040458 @default.
- W1524361563 hasRelatedWork W1910416941 @default.
- W1524361563 hasRelatedWork W1962435249 @default.
- W1524361563 hasRelatedWork W2001125292 @default.
- W1524361563 hasRelatedWork W2010444348 @default.
- W1524361563 hasRelatedWork W2022718851 @default.
- W1524361563 hasRelatedWork W2055009016 @default.
- W1524361563 hasRelatedWork W2076749639 @default.
- W1524361563 hasRelatedWork W2135599980 @default.
- W1524361563 hasRelatedWork W2143654425 @default.
- W1524361563 hasRelatedWork W2158099024 @default.
- W1524361563 hasRelatedWork W2160541786 @default.
- W1524361563 hasRelatedWork W2165945517 @default.
- W1524361563 hasRelatedWork W2489234237 @default.
- W1524361563 hasRelatedWork W2785325333 @default.
- W1524361563 hasRelatedWork W2983571029 @default.
- W1524361563 isParatext "false" @default.
- W1524361563 isRetracted "false" @default.
- W1524361563 magId "1524361563" @default.
- W1524361563 workType "book-chapter" @default.