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)
IEEE transactions on reliability, 2021-06, Vol.70 (2), p.676-691
2021
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2023-01, Vol.20 (1), p.695-707
2023
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)
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.70-77
2016
Volltextzugriff (PDF)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.17-24
2019
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)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.90-97
2019
Volltextzugriff (PDF)
IEEE transactions on computers, 2014-06, Vol.63 (6), p.1552-1566
2014
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)
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.165-172
2016
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)
Aktive Filter
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
- Computational Modeling
- Fault Tolerant Systems
- Formal Methods
Kollektion
- IngentaConnect
- SpringerLink Series
- IEEE Xplore
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ProQuest Dissertations & Theses A&I
- Access via ScienceDirect (Elsevier)
- Wiley Online Library All Obooks
Zeitschrift / Serie
- Formal Aspects Of Computing
- I.E.E.E. Transactions On Computers/ieee Transactions On Computers
- Ieee Transactions On Computers
- Ieee Transactions On Dependable And Secure Computing
- Ieee Transactions On Dependable And Secure Computing/ieee Transactions On Dependable And Secure Computing
- Ieee Transactions On Reliability
- Science Of Computer Programming