Matches in SemOpenAlex for { <https://semopenalex.org/work/W2060742314> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2060742314 endingPage "426" @default.
- W2060742314 startingPage "401" @default.
- W2060742314 abstract "As software control of time-critical functions in embedded systems becomes more common, a means for the precise specification of their behavior and formal methods for analyzing system requirements become increasingly important. Modechart is a graphical specification language introduced to meet this need. The main focus of this paper is on methods and supporting tools for representing and reasoning about properties of time-critical systems specified in Modechart. The paper describes a verification methodology which takes advantage of the structuring inherent in a Modechart specification to determine whether a system specification satisfies the required properties. The paper also describes the implementation of a mechanical verifier, based on the proposed approach, which has been recently integrated as part of the Modechart Toolset prototype development environment from the Naval Research Lab [7]." @default.
- W2060742314 created "2016-06-24" @default.
- W2060742314 creator A5028305433 @default.
- W2060742314 creator A5078067855 @default.
- W2060742314 creator A5082620786 @default.
- W2060742314 date "1996-09-01" @default.
- W2060742314 modified "2023-09-23" @default.
- W2060742314 title "A METHODOLOGY AND SUPPORT TOOLS FOR ANALYSIS OF REAL-TIME SPECIFICATIONS" @default.
- W2060742314 cites W130102441 @default.
- W2060742314 cites W1500110201 @default.
- W2060742314 cites W1508190831 @default.
- W2060742314 cites W1557493688 @default.
- W2060742314 cites W1573740731 @default.
- W2060742314 cites W1599827238 @default.
- W2060742314 cites W1936022305 @default.
- W2060742314 cites W1971107784 @default.
- W2060742314 cites W1976846957 @default.
- W2060742314 cites W2015688007 @default.
- W2060742314 cites W2017349948 @default.
- W2060742314 cites W2033839526 @default.
- W2060742314 cites W2042801853 @default.
- W2060742314 cites W2043695863 @default.
- W2060742314 cites W2056359803 @default.
- W2060742314 cites W2096039823 @default.
- W2060742314 cites W2114154624 @default.
- W2060742314 cites W2123717426 @default.
- W2060742314 cites W2126860147 @default.
- W2060742314 cites W2132645375 @default.
- W2060742314 cites W2136435112 @default.
- W2060742314 cites W2138174314 @default.
- W2060742314 cites W2139473437 @default.
- W2060742314 cites W2141321742 @default.
- W2060742314 cites W2153439859 @default.
- W2060742314 cites W2155891457 @default.
- W2060742314 cites W2169262768 @default.
- W2060742314 cites W2171816001 @default.
- W2060742314 cites W2339602775 @default.
- W2060742314 cites W302500868 @default.
- W2060742314 cites W1527854486 @default.
- W2060742314 doi "https://doi.org/10.1142/s021819409600017x" @default.
- W2060742314 hasPublicationYear "1996" @default.
- W2060742314 type Work @default.
- W2060742314 sameAs 2060742314 @default.
- W2060742314 citedByCount "1" @default.
- W2060742314 crossrefType "journal-article" @default.
- W2060742314 hasAuthorship W2060742314A5028305433 @default.
- W2060742314 hasAuthorship W2060742314A5078067855 @default.
- W2060742314 hasAuthorship W2060742314A5082620786 @default.
- W2060742314 hasConcept C115903868 @default.
- W2060742314 hasConcept C127413603 @default.
- W2060742314 hasConcept C201995342 @default.
- W2060742314 hasConcept C41008148 @default.
- W2060742314 hasConceptScore W2060742314C115903868 @default.
- W2060742314 hasConceptScore W2060742314C127413603 @default.
- W2060742314 hasConceptScore W2060742314C201995342 @default.
- W2060742314 hasConceptScore W2060742314C41008148 @default.
- W2060742314 hasIssue "03" @default.
- W2060742314 hasLocation W20607423141 @default.
- W2060742314 hasOpenAccess W2060742314 @default.
- W2060742314 hasPrimaryLocation W20607423141 @default.
- W2060742314 hasRelatedWork W1522116655 @default.
- W2060742314 hasRelatedWork W1536050029 @default.
- W2060742314 hasRelatedWork W1965618767 @default.
- W2060742314 hasRelatedWork W2218692255 @default.
- W2060742314 hasRelatedWork W2329619884 @default.
- W2060742314 hasRelatedWork W2513537424 @default.
- W2060742314 hasRelatedWork W3096962869 @default.
- W2060742314 hasRelatedWork W3100892781 @default.
- W2060742314 hasRelatedWork W3202658588 @default.
- W2060742314 hasRelatedWork W4206917754 @default.
- W2060742314 hasVolume "06" @default.
- W2060742314 isParatext "false" @default.
- W2060742314 isRetracted "false" @default.
- W2060742314 magId "2060742314" @default.
- W2060742314 workType "article" @default.