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...Formal Methods and Software Engineering, 2011, p.420-436
2011
Volltextzugriff (PDF)
IEEE transactions on reliability, 2021-06, Vol.70 (2), p.676-691
2021
Volltextzugriff (PDF)
Journal of applied crystallography, 2022-06, Vol.55 (3), p.515-525
2022
Volltextzugriff (PDF)
IEEE transactions on dependable and secure computing, 2023-01, Vol.20 (1), p.695-707
2023
Volltextzugriff (PDF)
Information and software technology, 2015-04, Vol.60, p.51-76
2015
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2010-07, Vol.30 (Proc. FOCLASA 2010), p.47-61
2010
Volltextzugriff (PDF)
Formal aspects of computing, 2015-01, Vol.27 (1), p.53-77
2015
Volltextzugriff (PDF)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.17-24
2019
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2024, Vol.14988, p.68-83
2024
Volltextzugriff (PDF)
Science of computer programming, 2014-02, Vol.80, p.25-49
2014
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2023, Vol.14198, p.117-127
2023
Volltextzugriff (PDF)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022, Vol.13294, p.20-31
2022
Volltextzugriff (PDF)
Science of computer programming, 2013-07, Vol.78 (7), p.884-905
2013
Volltextzugriff (PDF)
Dependable Software Engineering: Theories, Tools, and Applications, 2015, Vol.9409, p.201-216
2015
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2013, Vol.4 (1), p.69
2013
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, 2018, Vol.11093, p.91-106
2018
Volltextzugriff (PDF)
Computer Safety, Reliability, and Security, 2014, p.157-166
2014
Volltextzugriff (PDF)
Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies, 2012, p.147-161
2012
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B and Z, 2010, p.174-188
2010
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, 2013, p.109-124
2013
Volltextzugriff (PDF)
Software Engineering for Resilient Systems, 2013, p.79-93
2013
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.141-158
2016
Volltextzugriff (PDF)
International journal of critical computer-based systems, 2013, Vol.4 (1), p.45
2013
Volltextzugriff (PDF)
Methods, Models and Tools for Fault Tolerance, 2009, Vol.5454, p.177-195
2009
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Event-B
- Refinement
- Formal Modelling
- Software
- Fault Tolerance
- Software Engineering
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Formal Verification
- Computer Science, Information Systems
- Safety
- Fault Tolerant Systems
- B Method
- Computer Science, Hardware & Architecture
Kollektion
- Ingenta E-Journals
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IEEE Electronic Library Online
- ACM Digital Library Complete
- IngentaConnect Journals
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley-Blackwell Full Collection
- InfoSci-Journals (Full collection)
- Taylor & Francis eBooks A-Z
- Wiley Online Library
- Springer journals
Zeitschrift / Serie
- International Journal Of Critical Computer-Based Systems
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- 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
- Information And Software Technology
- International Journal Of E-Politics
- International Journal Of Embedded And Real-Time Communication Systems
Neu hinzugefügt