Proceedings of the Sixth Workshop on Intelligent Solutions in Embedded Systems

Book title Buchtitel

Publisher Verlag

IEEE Computer Society

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Rieder, Bernhard ; Puschner, Peter ; Wenzel, Ingomar	Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET Analysis	Konferenzbeitrag Inproceedings	2008