Matches in SemOpenAlex for { <https://semopenalex.org/work/W2096133644> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2096133644 abstract "ESTEREL is a formally-defined language designed for programming reactive systems; namely, those that maintain a permanent interaction with their environment. The ATT this implementation has been tested in the 5ESS switch simulator. Furthermore, it has been formally verified that this implementation satisfies some safety properties required for telecommunications applications. Our case study provides some evidence that ESTEREL is suitable for programming legacy reactive systems, and that it may afford significant advantages in software development over more traditional programming languages used in industrial settings." @default.
- W2096133644 created "2016-06-24" @default.
- W2096133644 creator A5050988105 @default.
- W2096133644 creator A5056030488 @default.
- W2096133644 creator A5063404392 @default.
- W2096133644 date "2002-11-19" @default.
- W2096133644 modified "2023-09-26" @default.
- W2096133644 title "A formal approach to reactive systems software: a telecommunications application in ESTEREL" @default.
- W2096133644 cites W1503973138 @default.
- W2096133644 cites W1506588809 @default.
- W2096133644 cites W1511336169 @default.
- W2096133644 cites W1555675311 @default.
- W2096133644 cites W1875492031 @default.
- W2096133644 cites W1980314090 @default.
- W2096133644 cites W1994157580 @default.
- W2096133644 cites W2007584988 @default.
- W2096133644 cites W2072961973 @default.
- W2096133644 cites W2081702911 @default.
- W2096133644 cites W2081938726 @default.
- W2096133644 cites W2086440639 @default.
- W2096133644 cites W2090126941 @default.
- W2096133644 cites W2093916942 @default.
- W2096133644 cites W2099529102 @default.
- W2096133644 cites W2100500718 @default.
- W2096133644 cites W2117189826 @default.
- W2096133644 cites W2125415493 @default.
- W2096133644 cites W2130177904 @default.
- W2096133644 cites W2141321742 @default.
- W2096133644 cites W2151359037 @default.
- W2096133644 cites W2208786947 @default.
- W2096133644 cites W3150108911 @default.
- W2096133644 doi "https://doi.org/10.1109/wift.1995.515485" @default.
- W2096133644 hasPublicationYear "2002" @default.
- W2096133644 type Work @default.
- W2096133644 sameAs 2096133644 @default.
- W2096133644 citedByCount "18" @default.
- W2096133644 countsByYear W20961336442017 @default.
- W2096133644 crossrefType "proceedings-article" @default.
- W2096133644 hasAuthorship W2096133644A5050988105 @default.
- W2096133644 hasAuthorship W2096133644A5056030488 @default.
- W2096133644 hasAuthorship W2096133644A5063404392 @default.
- W2096133644 hasConcept C115903868 @default.
- W2096133644 hasConcept C199360897 @default.
- W2096133644 hasConcept C2777904410 @default.
- W2096133644 hasConcept C41008148 @default.
- W2096133644 hasConcept C529173508 @default.
- W2096133644 hasConceptScore W2096133644C115903868 @default.
- W2096133644 hasConceptScore W2096133644C199360897 @default.
- W2096133644 hasConceptScore W2096133644C2777904410 @default.
- W2096133644 hasConceptScore W2096133644C41008148 @default.
- W2096133644 hasConceptScore W2096133644C529173508 @default.
- W2096133644 hasLocation W20961336441 @default.
- W2096133644 hasOpenAccess W2096133644 @default.
- W2096133644 hasPrimaryLocation W20961336441 @default.
- W2096133644 hasRelatedWork W13989923 @default.
- W2096133644 hasRelatedWork W1503170978 @default.
- W2096133644 hasRelatedWork W1506588809 @default.
- W2096133644 hasRelatedWork W1511336169 @default.
- W2096133644 hasRelatedWork W1553233117 @default.
- W2096133644 hasRelatedWork W1850161191 @default.
- W2096133644 hasRelatedWork W1875492031 @default.
- W2096133644 hasRelatedWork W2065853841 @default.
- W2096133644 hasRelatedWork W2076781994 @default.
- W2096133644 hasRelatedWork W2081938726 @default.
- W2096133644 hasRelatedWork W2099529102 @default.
- W2096133644 hasRelatedWork W2117189826 @default.
- W2096133644 hasRelatedWork W2125415493 @default.
- W2096133644 hasRelatedWork W2129395888 @default.
- W2096133644 hasRelatedWork W2147880466 @default.
- W2096133644 hasRelatedWork W2159542925 @default.
- W2096133644 hasRelatedWork W2181814588 @default.
- W2096133644 hasRelatedWork W3023434441 @default.
- W2096133644 hasRelatedWork W3082860845 @default.
- W2096133644 hasRelatedWork W3137449538 @default.
- W2096133644 isParatext "false" @default.
- W2096133644 isRetracted "false" @default.
- W2096133644 magId "2096133644" @default.
- W2096133644 workType "article" @default.