Matches in SemOpenAlex for { <https://semopenalex.org/work/W2904130129> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2904130129 abstract "In recent days time triggered architecture play a vital role in safety-critical real time applications such as avionics, automotive industry and many other industrial cyber physical systems. Start-up, group membership, clock synchronization and clique avoidance are some of the basic algorithms of time triggered architecture. Now-a-days the design of time triggered systems is much more difficult because they depend on the temporal properties. So formal verification methods are used for real time safety critical applications. In this paper demonstrates the different modeling and verification methods adopted for assuring the properties of time triggered algorithms in time triggered communication protocols like TTA, TTCAN and FlexRay." @default.
- W2904130129 created "2018-12-22" @default.
- W2904130129 creator A5016331097 @default.
- W2904130129 creator A5039459529 @default.
- W2904130129 creator A5057702393 @default.
- W2904130129 date "2018-03-01" @default.
- W2904130129 modified "2023-09-26" @default.
- W2904130129 title "A Review on Formal Verification of Basic Algorithms in Time Triggered Architecture" @default.
- W2904130129 cites W1586536757 @default.
- W2904130129 cites W2098943641 @default.
- W2904130129 cites W2119699246 @default.
- W2904130129 cites W2144754856 @default.
- W2904130129 cites W2155814898 @default.
- W2904130129 cites W2502792911 @default.
- W2904130129 cites W2612268566 @default.
- W2904130129 cites W3102888608 @default.
- W2904130129 doi "https://doi.org/10.1109/iccpcct.2018.8574228" @default.
- W2904130129 hasPublicationYear "2018" @default.
- W2904130129 type Work @default.
- W2904130129 sameAs 2904130129 @default.
- W2904130129 citedByCount "2" @default.
- W2904130129 countsByYear W29041301292020 @default.
- W2904130129 crossrefType "proceedings-article" @default.
- W2904130129 hasAuthorship W2904130129A5016331097 @default.
- W2904130129 hasAuthorship W2904130129A5039459529 @default.
- W2904130129 hasAuthorship W2904130129A5057702393 @default.
- W2904130129 hasConcept C110251889 @default.
- W2904130129 hasConcept C111498074 @default.
- W2904130129 hasConcept C11413529 @default.
- W2904130129 hasConcept C115903868 @default.
- W2904130129 hasConcept C120314980 @default.
- W2904130129 hasConcept C123657996 @default.
- W2904130129 hasConcept C127162648 @default.
- W2904130129 hasConcept C127413603 @default.
- W2904130129 hasConcept C142362112 @default.
- W2904130129 hasConcept C146978453 @default.
- W2904130129 hasConcept C149635348 @default.
- W2904130129 hasConcept C153349607 @default.
- W2904130129 hasConcept C15792166 @default.
- W2904130129 hasConcept C2777648190 @default.
- W2904130129 hasConcept C2778562939 @default.
- W2904130129 hasConcept C31258907 @default.
- W2904130129 hasConcept C41008148 @default.
- W2904130129 hasConcept C526921623 @default.
- W2904130129 hasConcept C75606506 @default.
- W2904130129 hasConceptScore W2904130129C110251889 @default.
- W2904130129 hasConceptScore W2904130129C111498074 @default.
- W2904130129 hasConceptScore W2904130129C11413529 @default.
- W2904130129 hasConceptScore W2904130129C115903868 @default.
- W2904130129 hasConceptScore W2904130129C120314980 @default.
- W2904130129 hasConceptScore W2904130129C123657996 @default.
- W2904130129 hasConceptScore W2904130129C127162648 @default.
- W2904130129 hasConceptScore W2904130129C127413603 @default.
- W2904130129 hasConceptScore W2904130129C142362112 @default.
- W2904130129 hasConceptScore W2904130129C146978453 @default.
- W2904130129 hasConceptScore W2904130129C149635348 @default.
- W2904130129 hasConceptScore W2904130129C153349607 @default.
- W2904130129 hasConceptScore W2904130129C15792166 @default.
- W2904130129 hasConceptScore W2904130129C2777648190 @default.
- W2904130129 hasConceptScore W2904130129C2778562939 @default.
- W2904130129 hasConceptScore W2904130129C31258907 @default.
- W2904130129 hasConceptScore W2904130129C41008148 @default.
- W2904130129 hasConceptScore W2904130129C526921623 @default.
- W2904130129 hasConceptScore W2904130129C75606506 @default.
- W2904130129 hasLocation W29041301291 @default.
- W2904130129 hasOpenAccess W2904130129 @default.
- W2904130129 hasPrimaryLocation W29041301291 @default.
- W2904130129 hasRelatedWork W1521396612 @default.
- W2904130129 hasRelatedWork W1531817081 @default.
- W2904130129 hasRelatedWork W1825253006 @default.
- W2904130129 hasRelatedWork W1978561602 @default.
- W2904130129 hasRelatedWork W2011770338 @default.
- W2904130129 hasRelatedWork W2092686046 @default.
- W2904130129 hasRelatedWork W2113945968 @default.
- W2904130129 hasRelatedWork W2130873944 @default.
- W2904130129 hasRelatedWork W2154129154 @default.
- W2904130129 hasRelatedWork W2170217021 @default.
- W2904130129 hasRelatedWork W2270534511 @default.
- W2904130129 hasRelatedWork W2366097629 @default.
- W2904130129 hasRelatedWork W2373277370 @default.
- W2904130129 hasRelatedWork W2419082310 @default.
- W2904130129 hasRelatedWork W2756095187 @default.
- W2904130129 hasRelatedWork W2806543189 @default.
- W2904130129 hasRelatedWork W2952915896 @default.
- W2904130129 hasRelatedWork W2981623576 @default.
- W2904130129 hasRelatedWork W3899632 @default.
- W2904130129 hasRelatedWork W1321012 @default.
- W2904130129 isParatext "false" @default.
- W2904130129 isRetracted "false" @default.
- W2904130129 magId "2904130129" @default.
- W2904130129 workType "article" @default.