Specification and automated verification of atomic concurrent real-time transactions
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1619-1374
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Specification and automated verification of atomic concurrent real-time transactions ; day:29 ; month:7 ; year:2020 ; pages:1-33
Software and systems modeling ; (29.7.2020), 1-33
- Creator
-
Cai, Simin
Gallina, Barbara
Nyström, Dag
Seceleanu, Cristina
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10270-020-00819-0
- URN
-
urn:nbn:de:101:1-2020092519353713549304
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 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
- Cai, Simin
- Gallina, Barbara
- Nyström, Dag
- Seceleanu, Cristina
- SpringerLink (Online service)
Other Objects (12)
Specification and verification of concurrent systems
On the needs for specification and verification of collaborative and concurrent robots, agents and processes
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Process theory: semantics, specification and verification
Specification techniques for concurrent and distributed systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Parameterized verification and repair of concurrent systems
Formal specification and verification : structures and techniques
Specification and verification of concurrent systems
On the needs for specification and verification of collaborative and concurrent robots, agents and processes
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Process theory: semantics, specification and verification
Specification techniques for concurrent and distributed systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Parameterized verification and repair of concurrent systems
Formal specification and verification : structures and techniques
Specification and verification of concurrent systems
On the needs for specification and verification of collaborative and concurrent robots, agents and processes
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Automatic verification of concurrent stochastic systems
Process theory: semantics, specification and verification
Specification techniques for concurrent and distributed systems
Workshop Concurrency, Specification and Programming, Vol. 2.. Specification and verification
Parameterized verification and repair of concurrent systems