Sortiert nach
Formal aspects of computing, 2021-12, Vol.33 (6), p.1009-1036
2021
Volltextzugriff (PDF)
Rigorous State-Based Methods, 2020, p.203-219
2020
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.420-436
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.150-159
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.241-250
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.123-133
Volltextzugriff (PDF)
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-1, Article 3
2023
Volltextzugriff (PDF)
Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies, 2012, p.133-146
2012
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.117-127
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.20-31
Volltextzugriff (PDF)
Science of computer programming, 2013-07, Vol.78 (7), p.884-905
2013
Volltextzugriff (PDF)
Dependable Software Engineering: Theories, Tools, and Applications, p.201-216
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, p.9-23
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.275-281
Volltextzugriff (PDF)
Perspectives of System Informatics, 2015, Vol.8974, p.161-176
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.181-199
2006
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.91-106
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, p.131-138
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, p.125-132
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B and Z, p.174-188
Volltextzugriff (PDF)
Advanced Topics in Exception Handling Techniques, p.181-199
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.210-225
2016
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.130-137
Volltextzugriff (PDF)
Reliable Software Technologies – Ada-Europe 2014, p.177-192
Volltextzugriff (PDF)
Methods, Models and Tools for Fault Tolerance, p.297-323
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Proof Obligation
- Software Engineering
- Formal Verification
- Applied Sciences
- Computer Science, Interdisciplinary Applications
- Computer Science; Control Theory; Systems
- Eisenbahn
- Event-B
- Exact Sciences And Technology
- Mode Transition
- Model Check
- Railway Signalling
- Software
- Transportation
- Transportation Science & Technology
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- ACM Digital Library
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- SpringerLink
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library All Obooks
- IEEE/IET Electronic Library
Zeitschrift / Serie