Compositional non-blockingness verification of finite automata with prioritised events
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
Compositional non-blockingness verification of finite automata with prioritised events ; volume:34 ; number:1 ; day:25 ; month:1 ; year:2024 ; pages:125-161 ; date:3.2024
Discrete event dynamic systems ; 34, Heft 1 (25.1.2024), 125-161, 3.2024
- Urheber
-
Tang, Yiheng
Moor, Thomas
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10626-024-00394-2
- URN
-
urn:nbn:de:101:1-2404230818555.350198822621
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:54 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Tang, Yiheng
- Moor, Thomas
- SpringerLink (Online service)
Ähnliche Objekte (12)
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Self-Assembling Finite Automata
Second-Order Finite Automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Finite automata encoding geometric figures
Cellular automata and finite groups
Measuring defects in finite automata
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Specification and compositional verification of real time systems
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Self-Assembling Finite Automata
Second-Order Finite Automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Finite automata encoding geometric figures
Cellular automata and finite groups
Measuring defects in finite automata
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
Specification and compositional verification of real time systems
Decomposition for compositional verification
Compositional stability verification of hybrid systems
Compositional Concurrent Program Verification with RGITL
Self-Assembling Finite Automata
Second-Order Finite Automata
Verification of automata with storage mechanisms
Verification of Automata with Storage Mechanisms
Finite automata encoding geometric figures
Cellular automata and finite groups
Measuring defects in finite automata
Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning