Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Rigorous State-Based Methods, 2020, p.203-219
2020
Volltextzugriff (PDF)
Science of computer programming, 2013-07, Vol.78 (7), p.884-905
2013
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, p.130-137
Volltextzugriff (PDF)
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, 2011, p.146-151
2011
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)
2011 First International Workshop on Software Certification, 2011, p.43-48
2011
Volltextzugriff (PDF)
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), 2019, p.107-113
2019
Volltextzugriff (PDF)
2009 Fourth Latin-American Symposium on Dependable Computing, 2009, p.81-88
2009
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computational Modeling
- Computer Science, Software Engineering
- Engineering
- Engineering, Electrical & Electronic
- Safety
- Biological System Modeling
- Control Systems
- Fault Tolerance
- Fault Tolerant Systems
- Formal Specification
- Formal Verification
- Mathematical Model
- Rail Transportation
- Railway Signalling
- Refinement
- Aerospace Electronics
Kollektion
Zeitschrift / Serie