Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978780144> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1978780144 endingPage "233" @default.
- W1978780144 startingPage "211" @default.
- W1978780144 abstract "In early moments of computer systems development, computer engineers typically draw interaction diagrams, occasionally annotated with timing constraints, to reason about the specification of the system behavior. One of the most popular of these diagrams is the Message Sequence Chart (MSC). However, not always does the intended behavior described by MSCs correspond to their actual behavior. To help the formal verification of their actual behavior, i.e. their temporal properties, this paper describes an interpretation of basic timed MSCs in a temporal framework that formally represents, in a unified model, both the qualitative and the metric temporal information conveyed in these intuitive diagrams. The framework solves the verification problems in polynomial time and lays the foundation of an automatic tool." @default.
- W1978780144 created "2016-06-24" @default.
- W1978780144 creator A5087184834 @default.
- W1978780144 date "2005-05-01" @default.
- W1978780144 modified "2023-09-24" @default.
- W1978780144 title "Early Verification of Computer Systems Temporal Properties" @default.
- W1978780144 cites W1525954809 @default.
- W1978780144 cites W1551431268 @default.
- W1978780144 cites W1556566737 @default.
- W1978780144 cites W1563546726 @default.
- W1978780144 cites W1574587683 @default.
- W1978780144 cites W1589531268 @default.
- W1978780144 cites W1932206085 @default.
- W1978780144 cites W1996011776 @default.
- W1978780144 cites W2001503652 @default.
- W1978780144 cites W201628453 @default.
- W1978780144 cites W2036364764 @default.
- W1978780144 cites W2047666749 @default.
- W1978780144 cites W2060910670 @default.
- W1978780144 cites W2071064455 @default.
- W1978780144 cites W2086184989 @default.
- W1978780144 cites W2090310951 @default.
- W1978780144 cites W2095825522 @default.
- W1978780144 cites W2119456262 @default.
- W1978780144 cites W2123828989 @default.
- W1978780144 cites W2130182605 @default.
- W1978780144 cites W2134358914 @default.
- W1978780144 cites W2136094398 @default.
- W1978780144 cites W2159263584 @default.
- W1978780144 cites W2161484642 @default.
- W1978780144 cites W2611436475 @default.
- W1978780144 cites W2752885492 @default.
- W1978780144 cites W3145128584 @default.
- W1978780144 doi "https://doi.org/10.1016/j.entcs.2005.03.012" @default.
- W1978780144 hasPublicationYear "2005" @default.
- W1978780144 type Work @default.
- W1978780144 sameAs 1978780144 @default.
- W1978780144 citedByCount "0" @default.
- W1978780144 crossrefType "journal-article" @default.
- W1978780144 hasAuthorship W1978780144A5087184834 @default.
- W1978780144 hasBestOaLocation W19787801441 @default.
- W1978780144 hasConcept C105795698 @default.
- W1978780144 hasConcept C110251889 @default.
- W1978780144 hasConcept C145644426 @default.
- W1978780144 hasConcept C153185123 @default.
- W1978780144 hasConcept C162324750 @default.
- W1978780144 hasConcept C176217482 @default.
- W1978780144 hasConcept C190812933 @default.
- W1978780144 hasConcept C199360897 @default.
- W1978780144 hasConcept C21547014 @default.
- W1978780144 hasConcept C25016198 @default.
- W1978780144 hasConcept C2777904410 @default.
- W1978780144 hasConcept C2778112365 @default.
- W1978780144 hasConcept C33923547 @default.
- W1978780144 hasConcept C41008148 @default.
- W1978780144 hasConcept C527412718 @default.
- W1978780144 hasConcept C54355233 @default.
- W1978780144 hasConcept C80444323 @default.
- W1978780144 hasConcept C86803240 @default.
- W1978780144 hasConceptScore W1978780144C105795698 @default.
- W1978780144 hasConceptScore W1978780144C110251889 @default.
- W1978780144 hasConceptScore W1978780144C145644426 @default.
- W1978780144 hasConceptScore W1978780144C153185123 @default.
- W1978780144 hasConceptScore W1978780144C162324750 @default.
- W1978780144 hasConceptScore W1978780144C176217482 @default.
- W1978780144 hasConceptScore W1978780144C190812933 @default.
- W1978780144 hasConceptScore W1978780144C199360897 @default.
- W1978780144 hasConceptScore W1978780144C21547014 @default.
- W1978780144 hasConceptScore W1978780144C25016198 @default.
- W1978780144 hasConceptScore W1978780144C2777904410 @default.
- W1978780144 hasConceptScore W1978780144C2778112365 @default.
- W1978780144 hasConceptScore W1978780144C33923547 @default.
- W1978780144 hasConceptScore W1978780144C41008148 @default.
- W1978780144 hasConceptScore W1978780144C527412718 @default.
- W1978780144 hasConceptScore W1978780144C54355233 @default.
- W1978780144 hasConceptScore W1978780144C80444323 @default.
- W1978780144 hasConceptScore W1978780144C86803240 @default.
- W1978780144 hasLocation W19787801441 @default.
- W1978780144 hasOpenAccess W1978780144 @default.
- W1978780144 hasPrimaryLocation W19787801441 @default.
- W1978780144 hasRelatedWork W1513903619 @default.
- W1978780144 hasRelatedWork W1515452107 @default.
- W1978780144 hasRelatedWork W181157759 @default.
- W1978780144 hasRelatedWork W2045840663 @default.
- W1978780144 hasRelatedWork W2103740034 @default.
- W1978780144 hasRelatedWork W2151898527 @default.
- W1978780144 hasRelatedWork W2419489257 @default.
- W1978780144 hasRelatedWork W2774415564 @default.
- W1978780144 hasRelatedWork W2995068468 @default.
- W1978780144 hasRelatedWork W1949742178 @default.
- W1978780144 hasVolume "130" @default.
- W1978780144 isParatext "false" @default.
- W1978780144 isRetracted "false" @default.
- W1978780144 magId "1978780144" @default.
- W1978780144 workType "article" @default.