Sortiert nach
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)
Perspectives of System Informatics, 2015, Vol.8974, p.161-176
2015
Volltextzugriff (PDF)
Formal Methods and Software Engineering, 2016, Vol.10009, p.210-225
2016
Volltextzugriff (PDF)
Formal Methods Applied to Complex Systems, 2014, p.447-474
2014
Volltextzugriff (PDF)
Model-Implementation Fidelity in Cyber Physical System Design, 2016, p.25-55
2016
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Theory & Methods
- Science & Technology
- Technology
- Automated Theorem Proving
- Computer Programming / Software Development
- Programming & Scripting Languages: General
- Proof Obligation
- Software Engineering
- Abstraction Hierarchy
- Case Diagram
- Case Reasoning
- Circuits & Components
- Computer Architecture & Logic Design
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Computer Science, Software Engineering
- Critical Section
- Electronics Engineering
- Elementary Transformation