Formal Methods for Industrial Critical Systems

Book title Buchtitel

Publisher Herausgeber

Springer / LNCS

Place of publishing Erscheinungsort

8718

Series Schriftenreihe

Lecture Notes in Computer Science

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Authors / Editors	Title	Type	Issue Date
	1		Basold, Henning ; Günther, Henning ; Huhn, Michaela ; Milius, Stefan	An Open Alternative for SMT-Based Verification of Scade Models	Konferenzbeitrag Inproceedings	2014
	2		Reinbacher, Thomas ; Brauer, Jörg ; Horauer, Martin ; Steininger, Andreas ; Kowalewski, Stefan	Past Time LTL Runtime Verification for Microcontroller Binary Code	Konferenzbeitrag Inproceedings	2011