Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135287711> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2135287711 abstract "We present a tool for the design and validation of embedded real time applications. The tool integrates two approaches: the use of the synchronous programming language, ESTEREL for design, and the application of model checking techniques for validation of real time properties. Validation is carried out on a global formal model (timed automata) taking into account the effective implementation of the application on the target hardware architecture as well as its external environment behavior." @default.
- W2135287711 created "2016-06-24" @default.
- W2135287711 creator A5009881093 @default.
- W2135287711 creator A5066647138 @default.
- W2135287711 creator A5075454664 @default.
- W2135287711 creator A5090960055 @default.
- W2135287711 date "2002-11-07" @default.
- W2135287711 modified "2023-09-23" @default.
- W2135287711 title "Towards validated real-time software" @default.
- W2135287711 cites W1610279035 @default.
- W2135287711 cites W1905380539 @default.
- W2135287711 cites W2000947342 @default.
- W2135287711 cites W2081938726 @default.
- W2135287711 cites W2116391427 @default.
- W2135287711 cites W2159542925 @default.
- W2135287711 cites W2262960161 @default.
- W2135287711 cites W59365162 @default.
- W2135287711 doi "https://doi.org/10.1109/emrts.2000.854003" @default.
- W2135287711 hasPublicationYear "2002" @default.
- W2135287711 type Work @default.
- W2135287711 sameAs 2135287711 @default.
- W2135287711 citedByCount "21" @default.
- W2135287711 countsByYear W21352877112013 @default.
- W2135287711 countsByYear W21352877112014 @default.
- W2135287711 countsByYear W21352877112015 @default.
- W2135287711 crossrefType "proceedings-article" @default.
- W2135287711 hasAuthorship W2135287711A5009881093 @default.
- W2135287711 hasAuthorship W2135287711A5066647138 @default.
- W2135287711 hasAuthorship W2135287711A5075454664 @default.
- W2135287711 hasAuthorship W2135287711A5090960055 @default.
- W2135287711 hasBestOaLocation W21352877112 @default.
- W2135287711 hasConcept C110251889 @default.
- W2135287711 hasConcept C111498074 @default.
- W2135287711 hasConcept C112505250 @default.
- W2135287711 hasConcept C115903868 @default.
- W2135287711 hasConcept C118524514 @default.
- W2135287711 hasConcept C123657996 @default.
- W2135287711 hasConcept C142362112 @default.
- W2135287711 hasConcept C149635348 @default.
- W2135287711 hasConcept C153349607 @default.
- W2135287711 hasConcept C199360897 @default.
- W2135287711 hasConcept C2777904410 @default.
- W2135287711 hasConcept C41008148 @default.
- W2135287711 hasConcept C75606506 @default.
- W2135287711 hasConcept C80444323 @default.
- W2135287711 hasConceptScore W2135287711C110251889 @default.
- W2135287711 hasConceptScore W2135287711C111498074 @default.
- W2135287711 hasConceptScore W2135287711C112505250 @default.
- W2135287711 hasConceptScore W2135287711C115903868 @default.
- W2135287711 hasConceptScore W2135287711C118524514 @default.
- W2135287711 hasConceptScore W2135287711C123657996 @default.
- W2135287711 hasConceptScore W2135287711C142362112 @default.
- W2135287711 hasConceptScore W2135287711C149635348 @default.
- W2135287711 hasConceptScore W2135287711C153349607 @default.
- W2135287711 hasConceptScore W2135287711C199360897 @default.
- W2135287711 hasConceptScore W2135287711C2777904410 @default.
- W2135287711 hasConceptScore W2135287711C41008148 @default.
- W2135287711 hasConceptScore W2135287711C75606506 @default.
- W2135287711 hasConceptScore W2135287711C80444323 @default.
- W2135287711 hasLocation W21352877111 @default.
- W2135287711 hasLocation W21352877112 @default.
- W2135287711 hasOpenAccess W2135287711 @default.
- W2135287711 hasPrimaryLocation W21352877111 @default.
- W2135287711 hasRelatedWork W1497882246 @default.
- W2135287711 hasRelatedWork W1516805904 @default.
- W2135287711 hasRelatedWork W1586502670 @default.
- W2135287711 hasRelatedWork W1874725288 @default.
- W2135287711 hasRelatedWork W1990895645 @default.
- W2135287711 hasRelatedWork W2011767010 @default.
- W2135287711 hasRelatedWork W2024237509 @default.
- W2135287711 hasRelatedWork W2058620686 @default.
- W2135287711 hasRelatedWork W2060070465 @default.
- W2135287711 hasRelatedWork W2070216112 @default.
- W2135287711 hasRelatedWork W2081938726 @default.
- W2135287711 hasRelatedWork W2101508170 @default.
- W2135287711 hasRelatedWork W2113466639 @default.
- W2135287711 hasRelatedWork W2125415493 @default.
- W2135287711 hasRelatedWork W2382995 @default.
- W2135287711 hasRelatedWork W2542950057 @default.
- W2135287711 hasRelatedWork W2783278179 @default.
- W2135287711 hasRelatedWork W2899431255 @default.
- W2135287711 hasRelatedWork W2902406987 @default.
- W2135287711 hasRelatedWork W3148162985 @default.
- W2135287711 isParatext "false" @default.
- W2135287711 isRetracted "false" @default.
- W2135287711 magId "2135287711" @default.
- W2135287711 workType "article" @default.