Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495616513> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1495616513 endingPage "332" @default.
- W1495616513 startingPage "299" @default.
- W1495616513 abstract "The method of simulations is an important technique for reasoning about real-time and other timing-based systems. It is adapted from an analogous method for untimed systems. This paper presents the simulation method in the context of a very general automaton (i.e., labelled transition system) model for timing-based systems. Sketches are presented of several typical examples for which the method has been used successfully. Other complementary tools are also described, in particular, invariants for safety proofs, progress functions for timing proofs, and execution correspondences for liveness proofs." @default.
- W1495616513 created "2016-06-24" @default.
- W1495616513 creator A5071944803 @default.
- W1495616513 date "1995-03-21" @default.
- W1495616513 modified "2023-09-24" @default.
- W1495616513 title "Simulation techniques for proving properties of real-time systems" @default.
- W1495616513 hasPublicationYear "1995" @default.
- W1495616513 type Work @default.
- W1495616513 sameAs 1495616513 @default.
- W1495616513 citedByCount "4" @default.
- W1495616513 crossrefType "book" @default.
- W1495616513 hasAuthorship W1495616513A5071944803 @default.
- W1495616513 hasConcept C108710211 @default.
- W1495616513 hasConcept C112505250 @default.
- W1495616513 hasConcept C11413529 @default.
- W1495616513 hasConcept C149635348 @default.
- W1495616513 hasConcept C151730666 @default.
- W1495616513 hasConcept C15569618 @default.
- W1495616513 hasConcept C199360897 @default.
- W1495616513 hasConcept C2524010 @default.
- W1495616513 hasConcept C2779343474 @default.
- W1495616513 hasConcept C28472234 @default.
- W1495616513 hasConcept C30788636 @default.
- W1495616513 hasConcept C33923547 @default.
- W1495616513 hasConcept C41008148 @default.
- W1495616513 hasConcept C80444323 @default.
- W1495616513 hasConcept C86803240 @default.
- W1495616513 hasConceptScore W1495616513C108710211 @default.
- W1495616513 hasConceptScore W1495616513C112505250 @default.
- W1495616513 hasConceptScore W1495616513C11413529 @default.
- W1495616513 hasConceptScore W1495616513C149635348 @default.
- W1495616513 hasConceptScore W1495616513C151730666 @default.
- W1495616513 hasConceptScore W1495616513C15569618 @default.
- W1495616513 hasConceptScore W1495616513C199360897 @default.
- W1495616513 hasConceptScore W1495616513C2524010 @default.
- W1495616513 hasConceptScore W1495616513C2779343474 @default.
- W1495616513 hasConceptScore W1495616513C28472234 @default.
- W1495616513 hasConceptScore W1495616513C30788636 @default.
- W1495616513 hasConceptScore W1495616513C33923547 @default.
- W1495616513 hasConceptScore W1495616513C41008148 @default.
- W1495616513 hasConceptScore W1495616513C80444323 @default.
- W1495616513 hasConceptScore W1495616513C86803240 @default.
- W1495616513 hasLocation W14956165131 @default.
- W1495616513 hasOpenAccess W1495616513 @default.
- W1495616513 hasPrimaryLocation W14956165131 @default.
- W1495616513 hasRelatedWork W117556101 @default.
- W1495616513 hasRelatedWork W1502527025 @default.
- W1495616513 hasRelatedWork W1533503276 @default.
- W1495616513 hasRelatedWork W1577524604 @default.
- W1495616513 hasRelatedWork W1585192785 @default.
- W1495616513 hasRelatedWork W1605121006 @default.
- W1495616513 hasRelatedWork W1967917857 @default.
- W1495616513 hasRelatedWork W1971463038 @default.
- W1495616513 hasRelatedWork W1998165561 @default.
- W1495616513 hasRelatedWork W2122496508 @default.
- W1495616513 hasRelatedWork W2159349199 @default.
- W1495616513 hasRelatedWork W21963600 @default.
- W1495616513 hasRelatedWork W2730314220 @default.
- W1495616513 hasRelatedWork W2735956334 @default.
- W1495616513 hasRelatedWork W2911583164 @default.
- W1495616513 hasRelatedWork W3044218851 @default.
- W1495616513 hasRelatedWork W3150296716 @default.
- W1495616513 hasRelatedWork W3204627089 @default.
- W1495616513 hasRelatedWork W346247965 @default.
- W1495616513 hasRelatedWork W2615062305 @default.
- W1495616513 isParatext "false" @default.
- W1495616513 isRetracted "false" @default.
- W1495616513 magId "1495616513" @default.
- W1495616513 workType "book" @default.