Sortiert nach
Formal aspects of computing, 2021-12, Vol.33 (6), p.1009-1036
2021
Link zum Volltext
Rigorous State-Based Methods, 2020, p.203-219
2020
Link zum Volltext
Formal Methods and Software Engineering, p.420-436
Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.150-159
Link zum Volltext
IEEE transactions on reliability, 2021-06, Vol.70 (2), p.676-691
2021
- Link zum Volltext
IEEE transactions on dependable and secure computing, 2023-01, Vol.20 (1), p.695-707
2023
- Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.241-250
Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.123-133
Link zum Volltext
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-1, Article 3
2023
Link zum Volltext
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.70-77
2016
- Link zum Volltext
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.17-24
2019
- Link zum Volltext
Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies, 2012, p.133-146
2012
Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.117-127
Link zum Volltext
IEEE transactions on computers, 2014-06, Vol.63 (6), p.1552-1566
2014
- Link zum Volltext
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.90-97
2019
- Link zum Volltext
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.20-31
Link zum Volltext
Science of computer programming, 2013-07, Vol.78 (7), p.884-905
2013
Link zum Volltext
Dependable Software Engineering: Theories, Tools, and Applications, p.201-216
Link zum Volltext
Software Engineering for Resilient Systems, p.9-23
Link zum Volltext
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.275-281
Link zum Volltext
Lecture notes in computer science, 2006, p.181-199
2006
Link zum Volltext
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.165-172
2016
- Link zum Volltext
Software Engineering for Resilient Systems, p.131-138
Link zum Volltext
Computer Safety, Reliability, and Security, p.91-106
Link zum Volltext
Software Engineering for Resilient Systems, p.125-132
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering
- Engineering, Electrical & Electronic
- Proof Obligation
- Safety
- Computer Science, Information Systems
- Event-B
- Computer Science, Hardware & Architecture
- Fault Tolerance
- Formal Verification
- Rail Transportation
- Middleware
- Railway Signalling
- Software
- Computational Modeling
- Fault Tolerant Systems
Kollektion
- Ingenta E-Journals
- HEAL-Link subscriptions: Springer Book Series
- IEEE Xplore
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Springer journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library All Obooks