Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143253314> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2143253314 abstract "Three formal methods for specifying properties of real-time systems are reviewed and used in a common example. Two of them offer a graphical representation and the third is an algebraic language. The example is that of an automatic railroad system with sensors to detect the train position and controls for the gate mechanism. Associated with each formalism is a proof methodology which is described and used to prove a safety property about the example. A comparison is made between the three formalisms according to various criteria including the expressiveness, readability, maintainability of the language, support for real-time concepts, method for expressing properties and proof mechanisms. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-92-20. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/363 Proving Properties of Real-Time Distributed Systems: A Comparison of Three Approaches MS-CIS-92-20 GRASP LAB 306 Patrice Brkmond-Grkgoire Susan Davidson Insup Lee University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Department Philadelphia, PA 19104-6389" @default.
- W2143253314 created "2016-06-24" @default.
- W2143253314 creator A5030456600 @default.
- W2143253314 creator A5072818517 @default.
- W2143253314 creator A5081006850 @default.
- W2143253314 date "1992-01-01" @default.
- W2143253314 modified "2023-09-27" @default.
- W2143253314 title "Proving Properties of Real-Time Distributed Systems: A Comparison of Three Approaches" @default.
- W2143253314 cites W1503973138 @default.
- W2143253314 cites W1508190831 @default.
- W2143253314 cites W1551752238 @default.
- W2143253314 cites W2064650227 @default.
- W2143253314 cites W2099529102 @default.
- W2143253314 cites W2102097307 @default.
- W2143253314 cites W2113355185 @default.
- W2143253314 cites W2114154624 @default.
- W2143253314 cites W2121341646 @default.
- W2143253314 cites W2129654894 @default.
- W2143253314 cites W2138246995 @default.
- W2143253314 cites W2159626406 @default.
- W2143253314 cites W2914206182 @default.
- W2143253314 cites W3144368627 @default.
- W2143253314 hasPublicationYear "1992" @default.
- W2143253314 type Work @default.
- W2143253314 sameAs 2143253314 @default.
- W2143253314 citedByCount "0" @default.
- W2143253314 crossrefType "journal-article" @default.
- W2143253314 hasAuthorship W2143253314A5030456600 @default.
- W2143253314 hasAuthorship W2143253314A5072818517 @default.
- W2143253314 hasAuthorship W2143253314A5081006850 @default.
- W2143253314 hasConcept C111472728 @default.
- W2143253314 hasConcept C115903868 @default.
- W2143253314 hasConcept C138885662 @default.
- W2143253314 hasConcept C142362112 @default.
- W2143253314 hasConcept C153349607 @default.
- W2143253314 hasConcept C160713754 @default.
- W2143253314 hasConcept C171018156 @default.
- W2143253314 hasConcept C171268870 @default.
- W2143253314 hasConcept C189950617 @default.
- W2143253314 hasConcept C199360897 @default.
- W2143253314 hasConcept C2524010 @default.
- W2143253314 hasConcept C2778143727 @default.
- W2143253314 hasConcept C33923547 @default.
- W2143253314 hasConcept C41008148 @default.
- W2143253314 hasConcept C558565934 @default.
- W2143253314 hasConcept C73301696 @default.
- W2143253314 hasConcept C80444323 @default.
- W2143253314 hasConceptScore W2143253314C111472728 @default.
- W2143253314 hasConceptScore W2143253314C115903868 @default.
- W2143253314 hasConceptScore W2143253314C138885662 @default.
- W2143253314 hasConceptScore W2143253314C142362112 @default.
- W2143253314 hasConceptScore W2143253314C153349607 @default.
- W2143253314 hasConceptScore W2143253314C160713754 @default.
- W2143253314 hasConceptScore W2143253314C171018156 @default.
- W2143253314 hasConceptScore W2143253314C171268870 @default.
- W2143253314 hasConceptScore W2143253314C189950617 @default.
- W2143253314 hasConceptScore W2143253314C199360897 @default.
- W2143253314 hasConceptScore W2143253314C2524010 @default.
- W2143253314 hasConceptScore W2143253314C2778143727 @default.
- W2143253314 hasConceptScore W2143253314C33923547 @default.
- W2143253314 hasConceptScore W2143253314C41008148 @default.
- W2143253314 hasConceptScore W2143253314C558565934 @default.
- W2143253314 hasConceptScore W2143253314C73301696 @default.
- W2143253314 hasConceptScore W2143253314C80444323 @default.
- W2143253314 hasLocation W21432533141 @default.
- W2143253314 hasOpenAccess W2143253314 @default.
- W2143253314 hasPrimaryLocation W21432533141 @default.
- W2143253314 hasRelatedWork W1504183380 @default.
- W2143253314 hasRelatedWork W1525422225 @default.
- W2143253314 hasRelatedWork W1564528522 @default.
- W2143253314 hasRelatedWork W1573457744 @default.
- W2143253314 hasRelatedWork W1594080312 @default.
- W2143253314 hasRelatedWork W1968583734 @default.
- W2143253314 hasRelatedWork W1978477493 @default.
- W2143253314 hasRelatedWork W2001069800 @default.
- W2143253314 hasRelatedWork W2001375638 @default.
- W2143253314 hasRelatedWork W2016436000 @default.
- W2143253314 hasRelatedWork W2055143449 @default.
- W2143253314 hasRelatedWork W2070137656 @default.
- W2143253314 hasRelatedWork W2103097082 @default.
- W2143253314 hasRelatedWork W2111190246 @default.
- W2143253314 hasRelatedWork W2137671811 @default.
- W2143253314 hasRelatedWork W2139419246 @default.
- W2143253314 hasRelatedWork W2151332443 @default.
- W2143253314 hasRelatedWork W2171252455 @default.
- W2143253314 hasRelatedWork W2481364343 @default.
- W2143253314 hasRelatedWork W2097915487 @default.
- W2143253314 isParatext "false" @default.
- W2143253314 isRetracted "false" @default.
- W2143253314 magId "2143253314" @default.
- W2143253314 workType "article" @default.