Mechatronics and Embedded Systems and Applications (MESA), 2012 IEEE/ASME International Conference on

Book title Buchtitel

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Reinbacher, Thomas ; Geist, Johannes ; Moosbrugger, Patrick ; Horauer, Martin ; Steininger, Andreas	Parallel Runtime Verification of Temporal Properties for Embedded Software	Konferenzbeitrag Inproceedings	2012