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)
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, p.150-159
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)
Simulation (San Diego, Calif.), 2024-07
2024
Volltextzugriff (PDF)
2021
Volltextzugriff (PDF)
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-1, Article 3
2023
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.395, p.95-112
2023
Volltextzugriff (PDF)
Chronic diseases and translational medicine, 2019-03, Vol.13 (2), p.57-69
2019
Volltextzugriff (PDF)
Integrated Formal Methods, p.109-128
Volltextzugriff (PDF)
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE), 2019, p.90-97
2019
Volltextzugriff (PDF)
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.275-281
Volltextzugriff (PDF)
2015 15th International Conference on Application of Concurrency to System Design, 2015, p.100-109
2015
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.210-225
2016
Volltextzugriff (PDF)
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017, p.153-156
2017
Volltextzugriff (PDF)
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS), 2019, p.107-113
2019
Volltextzugriff (PDF)
Leveraging Applications of Formal Methods, Verification and Validation. Practice, p.139-158
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Formal Verification
- Computer Science, Theory & Methods
- Event-B
- Computer Science, Interdisciplinary Applications
- Eisenbahn
- Hybrid Systems
- Mathematical Model
- Rail Transportation
- Algorithms
- Biological System Modeling
- Computational Modeling
- Computer Science, Hardware & Architecture
- Concurrency
- Distributed Railway Interlocking
- Distributed Resource Allocation
- Engineering
Kollektion
- IngentaConnect Journals
- HEAL-Link subscriptions: Springer Book Series
- IEEE Electronic Library (IEL)
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- SpringerLink
- Wiley Online Library Journals Frontfile Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- ProQuest Dissertations & Theses A&I
- Nexis Uni
- SAGE Complete
Zeitschrift / Serie
Neu hinzugefügt