Matches in SemOpenAlex for { <https://semopenalex.org/work/W75787367> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W75787367 endingPage "207" @default.
- W75787367 startingPage "153" @default.
- W75787367 abstract "In this chapter, we analyze state-based formalisms that extend the basic automata models of Chap. 6 with a notion of time. The discussion progresses from the simplest formalisms to richer and richer extensions that can express sophisticated timing properties. First, we introduce the notion of transition system, which is used to provide the semantics of the formalisms discussed in the rest of this chapter and in later ones. Then, we show how finite-state automata can represent temporal features of systems. We then discuss several extensions to the classic model of finite-state automata: Timed Transition Models and Statecharts introduce specific mechanisms for modeling discrete time, while timed and hybrid automata include mechanisms to deal with a continuous notion of time. The chapter then shows how probabilities can be introduced in finite-state automata; it concludes with a discussion of some design and verification techniques and tools based on the formalisms presented earlier." @default.
- W75787367 created "2016-06-24" @default.
- W75787367 creator A5002217309 @default.
- W75787367 creator A5031470846 @default.
- W75787367 creator A5054994026 @default.
- W75787367 creator A5088212295 @default.
- W75787367 date "2012-01-01" @default.
- W75787367 modified "2023-09-25" @default.
- W75787367 title "Synchronous Abstract Machines" @default.
- W75787367 cites W1482486776 @default.
- W75787367 cites W1505618619 @default.
- W75787367 cites W1506588809 @default.
- W75787367 cites W1522694098 @default.
- W75787367 cites W1525512650 @default.
- W75787367 cites W1551331198 @default.
- W75787367 cites W1572777470 @default.
- W75787367 cites W1589034549 @default.
- W75787367 cites W1600244027 @default.
- W75787367 cites W1778175466 @default.
- W75787367 cites W1870235599 @default.
- W75787367 cites W1885037678 @default.
- W75787367 cites W1975120975 @default.
- W75787367 cites W198215489 @default.
- W75787367 cites W1992586213 @default.
- W75787367 cites W1995691455 @default.
- W75787367 cites W2000947342 @default.
- W75787367 cites W2004463571 @default.
- W75787367 cites W2041617655 @default.
- W75787367 cites W2049696538 @default.
- W75787367 cites W2060095702 @default.
- W75787367 cites W2073689993 @default.
- W75787367 cites W2081938726 @default.
- W75787367 cites W2085838366 @default.
- W75787367 cites W2096039823 @default.
- W75787367 cites W2099529102 @default.
- W75787367 cites W2101508170 @default.
- W75787367 cites W2104326597 @default.
- W75787367 cites W2129395888 @default.
- W75787367 cites W2130773092 @default.
- W75787367 cites W2141541459 @default.
- W75787367 cites W2141881497 @default.
- W75787367 cites W2150220388 @default.
- W75787367 cites W2150377894 @default.
- W75787367 cites W2154144595 @default.
- W75787367 cites W3201256648 @default.
- W75787367 doi "https://doi.org/10.1007/978-3-642-32332-4_7" @default.
- W75787367 hasPublicationYear "2012" @default.
- W75787367 type Work @default.
- W75787367 sameAs 75787367 @default.
- W75787367 citedByCount "0" @default.
- W75787367 crossrefType "book-chapter" @default.
- W75787367 hasAuthorship W75787367A5002217309 @default.
- W75787367 hasAuthorship W75787367A5031470846 @default.
- W75787367 hasAuthorship W75787367A5054994026 @default.
- W75787367 hasAuthorship W75787367A5088212295 @default.
- W75787367 hasConcept C41008148 @default.
- W75787367 hasConceptScore W75787367C41008148 @default.
- W75787367 hasLocation W757873671 @default.
- W75787367 hasOpenAccess W75787367 @default.
- W75787367 hasPrimaryLocation W757873671 @default.
- W75787367 hasRelatedWork W2093578348 @default.
- W75787367 hasRelatedWork W2350741829 @default.
- W75787367 hasRelatedWork W2358668433 @default.
- W75787367 hasRelatedWork W2376932109 @default.
- W75787367 hasRelatedWork W2382290278 @default.
- W75787367 hasRelatedWork W2390279801 @default.
- W75787367 hasRelatedWork W2748952813 @default.
- W75787367 hasRelatedWork W2766271392 @default.
- W75787367 hasRelatedWork W2899084033 @default.
- W75787367 hasRelatedWork W3004735627 @default.
- W75787367 isParatext "false" @default.
- W75787367 isRetracted "false" @default.
- W75787367 magId "75787367" @default.
- W75787367 workType "book-chapter" @default.