Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577524604> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1577524604 abstract "Because real-time systems are often time-critical applications and their failure can have fatal consequences, it is important to ensure their correct behaviour. There exist many approaches for verification of real-time systems. Some use graphical formalisms, other various kinds of logics, to describe the system being verified. While graphical description can be significantly easier to use, it disallows to utilise many powerful methods for analysis and verification. In this paper, we propose a new approach for verification of real-time systems described by the Modechart graphical formalism by transforming the computation of the system onto a set of restricted real-time logic (RRTL) formulae. Moreover, if the verified property is known in advance, we are able to reduce the number of resulting RRTL formulae." @default.
- W1577524604 created "2016-06-24" @default.
- W1577524604 creator A5015372636 @default.
- W1577524604 creator A5015906402 @default.
- W1577524604 creator A5018940896 @default.
- W1577524604 creator A5070262713 @default.
- W1577524604 date "2012-01-01" @default.
- W1577524604 modified "2023-09-25" @default.
- W1577524604 title "A Novel Approach to Modechart Verification of Real-Time Systems" @default.
- W1577524604 cites W2038995301 @default.
- W1577524604 cites W2056359803 @default.
- W1577524604 cites W2099529102 @default.
- W1577524604 cites W2124214533 @default.
- W1577524604 cites W2136435112 @default.
- W1577524604 cites W2141321742 @default.
- W1577524604 cites W2496279393 @default.
- W1577524604 doi "https://doi.org/10.1007/978-3-642-27549-4_72" @default.
- W1577524604 hasPublicationYear "2012" @default.
- W1577524604 type Work @default.
- W1577524604 sameAs 1577524604 @default.
- W1577524604 citedByCount "0" @default.
- W1577524604 crossrefType "book-chapter" @default.
- W1577524604 hasAuthorship W1577524604A5015372636 @default.
- W1577524604 hasAuthorship W1577524604A5015906402 @default.
- W1577524604 hasAuthorship W1577524604A5018940896 @default.
- W1577524604 hasAuthorship W1577524604A5070262713 @default.
- W1577524604 hasConcept C111472728 @default.
- W1577524604 hasConcept C111498074 @default.
- W1577524604 hasConcept C11413529 @default.
- W1577524604 hasConcept C138885662 @default.
- W1577524604 hasConcept C142362112 @default.
- W1577524604 hasConcept C153349607 @default.
- W1577524604 hasConcept C154945302 @default.
- W1577524604 hasConcept C155846161 @default.
- W1577524604 hasConcept C171018156 @default.
- W1577524604 hasConcept C189950617 @default.
- W1577524604 hasConcept C199360897 @default.
- W1577524604 hasConcept C2524010 @default.
- W1577524604 hasConcept C33923547 @default.
- W1577524604 hasConcept C41008148 @default.
- W1577524604 hasConcept C45374587 @default.
- W1577524604 hasConcept C558565934 @default.
- W1577524604 hasConcept C73301696 @default.
- W1577524604 hasConcept C80444323 @default.
- W1577524604 hasConceptScore W1577524604C111472728 @default.
- W1577524604 hasConceptScore W1577524604C111498074 @default.
- W1577524604 hasConceptScore W1577524604C11413529 @default.
- W1577524604 hasConceptScore W1577524604C138885662 @default.
- W1577524604 hasConceptScore W1577524604C142362112 @default.
- W1577524604 hasConceptScore W1577524604C153349607 @default.
- W1577524604 hasConceptScore W1577524604C154945302 @default.
- W1577524604 hasConceptScore W1577524604C155846161 @default.
- W1577524604 hasConceptScore W1577524604C171018156 @default.
- W1577524604 hasConceptScore W1577524604C189950617 @default.
- W1577524604 hasConceptScore W1577524604C199360897 @default.
- W1577524604 hasConceptScore W1577524604C2524010 @default.
- W1577524604 hasConceptScore W1577524604C33923547 @default.
- W1577524604 hasConceptScore W1577524604C41008148 @default.
- W1577524604 hasConceptScore W1577524604C45374587 @default.
- W1577524604 hasConceptScore W1577524604C558565934 @default.
- W1577524604 hasConceptScore W1577524604C73301696 @default.
- W1577524604 hasConceptScore W1577524604C80444323 @default.
- W1577524604 hasLocation W15775246041 @default.
- W1577524604 hasOpenAccess W1577524604 @default.
- W1577524604 hasPrimaryLocation W15775246041 @default.
- W1577524604 hasRelatedWork W1492017230 @default.
- W1577524604 hasRelatedWork W1546357083 @default.
- W1577524604 hasRelatedWork W1560069502 @default.
- W1577524604 hasRelatedWork W1574193488 @default.
- W1577524604 hasRelatedWork W17300578 @default.
- W1577524604 hasRelatedWork W1731145829 @default.
- W1577524604 hasRelatedWork W1863652788 @default.
- W1577524604 hasRelatedWork W2086703390 @default.
- W1577524604 hasRelatedWork W2091850237 @default.
- W1577524604 hasRelatedWork W2151527925 @default.
- W1577524604 hasRelatedWork W2156690190 @default.
- W1577524604 hasRelatedWork W2260592993 @default.
- W1577524604 hasRelatedWork W2265529395 @default.
- W1577524604 hasRelatedWork W2616886744 @default.
- W1577524604 hasRelatedWork W2730314220 @default.
- W1577524604 hasRelatedWork W2786932691 @default.
- W1577524604 hasRelatedWork W2911583164 @default.
- W1577524604 hasRelatedWork W295290875 @default.
- W1577524604 hasRelatedWork W3021273075 @default.
- W1577524604 hasRelatedWork W98168214 @default.
- W1577524604 isParatext "false" @default.
- W1577524604 isRetracted "false" @default.
- W1577524604 magId "1577524604" @default.
- W1577524604 workType "book-chapter" @default.