- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Automatic verification of concurrent stochastic systems ; day:22 ; month:1 ; year:2021 ; pages:1-63
Formal methods in system design ; (22.1.2021), 1-63
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10703-020-00356-y
- URN
-
urn:nbn:de:101:1-2021031419362649586361
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:37 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
- Kwiatkowska, Marta Z.
- Norman, Gethin
- Parker, David
- Santos, Gabriel
- SpringerLink (Online service)
Ähnliche Objekte (12)
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation
Combining Theorem Proving and Model Checking for Verification of Concurrent Systems
Specification and verification of concurrent systems
Parameterized verification and repair of concurrent systems
Interactive Verification of Concurrent Systems using Symbolic Execution
Verification of continuous-space stochastic systems
Verification of continuous-space stochastic systems
Verification of sequential and concurrent programs
Formal Verification of Concurrent Embedded Software
Compositional Concurrent Program Verification with RGITL
Formal Verification of Concurrent Embedded Software
Vulnerability issues in Automatic Speaker Verification (ASV) systems
Automatic signature verification using segmentation