Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7616
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Gleirscher, Mario
Marmsoler, Diego
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10664-020-09836-5
- URN
-
urn:nbn:de:101:1-2020102922583139536758
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 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
- Gleirscher, Mario
- Marmsoler, Diego
- SpringerLink (Online service)
Other Objects (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]