Compositional non-blockingness verification of finite automata with prioritised events
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
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
- Creator
-
Tang, Yiheng
Moor, Thomas
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10626-024-00394-2
- URN
-
urn:nbn:de:101:1-2404230818555.350198822621
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:54 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Tang, Yiheng
- Moor, Thomas
- SpringerLink (Online service)
Other Objects (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