Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7616
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America ; day:9 ; month:9 ; year:2020 ; pages:1-74
Empirical software engineering ; (9.9.2020), 1-74
- Urheber
-
Gleirscher, Mario
Marmsoler, Diego
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10664-020-09836-5
- URN
-
urn:nbn:de:101:1-2020102922583139536758
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 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
- Gleirscher, Mario
- Marmsoler, Diego
- SpringerLink (Online service)
Ähnliche Objekte (12)
Formal methods and the development of dependable systems
Dependable Computing
On the Application of Formal Techniques for Dependable Concurrent Systems
Dependable computer systems
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable service robot : from hazard identification to formal verification of safety requirements
Architecting dependable systems, 6
Architecting dependable systems, [1]
Architecting dependable systems, 5
Formal methods and the development of dependable systems
Dependable Computing
On the Application of Formal Techniques for Dependable Concurrent Systems
Dependable computer systems
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable service robot : from hazard identification to formal verification of safety requirements
Architecting dependable systems, 6
Architecting dependable systems, [1]
Architecting dependable systems, 5
Formal methods and the development of dependable systems
Dependable Computing
On the Application of Formal Techniques for Dependable Concurrent Systems
Dependable computer systems
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable computing : proceedings
Dependable service robot : from hazard identification to formal verification of safety requirements
Architecting dependable systems, 6
Architecting dependable systems, [1]