Sortiert nach
International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.187-203
2017
Volltextzugriff (PDF)
Formal Methods: Foundations and Applications, p.1-16
Volltextzugriff (PDF)
Formal Methods and Software Engineering, p.504-520
Volltextzugriff (PDF)
B 2007: Formal Specification and Development in B, 2006, p.266-269
2006
Volltextzugriff (PDF)
Integrated Formal Methods, p.275-291
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Animation
- Model Checking
- Software
- Software Engineering
- Tool Support
- Abz 2014
- Aircraft
- Applied Sciences
- Checkers
- Component Parts
- Computer Programs
- Computer Science; Control Theory; Systems
- Design Engineering
- Directed Model Checking
Kollektion
Zeitschrift / Serie