Sortiert nach
IEEE transactions on reliability, 2021-06, Vol.70 (2), p.676-691
2021
Volltextzugriff (PDF)
IEEE transactions on computers, 2014-06, Vol.63 (6), p.1552-1566
2014
Volltextzugriff (PDF)
2015 15th International Conference on Application of Concurrency to System Design, 2015, p.110-119
2015
Volltextzugriff (PDF)
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, p.153-156
2017
Volltextzugriff (PDF)
2011 IEEE 22nd International Symposium on Software Reliability Engineering, 2011, p.180-189
2011
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, Vol.6351, p.126-141
Volltextzugriff (PDF)
2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability, 2012, p.1-10
2012
Volltextzugriff (PDF)
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), 2013, p.36-42
2013
Volltextzugriff (PDF)
2008 Seventh European Dependable Computing Conference, 2008, p.167-176
2008
Volltextzugriff (PDF)
2009 Fourth Latin-American Symposium on Dependable Computing, 2009, p.81-88
2009
Volltextzugriff (PDF)
31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 2007, Vol.2, p.658-674
2007
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Engineering
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Fault Tolerant Systems
- Computer Science, Hardware & Architecture
- Computer Science, Theory & Methods
- Event-B
- Fault Tolerance
- Safety
- Application Software
- Buildings
- Computer Science, Information Systems
- Design Engineering
- Formal Specifications
- Formal Verification
- Hardware
- Mathematical Model
Kollektion