Publications Login
Home List all
@inproceedings{WLT2011b,
	author          = {M. Woehrle and K. Lampka and L. Thiele},
	title           = {Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems},
	booktitle       = {9th Int'l Conf. on Formal Modelling and Analysis of Timed Systems ({FORMATS} 2011)},
	year            = {2011},
	month           = {sep},
	pages           = {193--208},
	location        = {Aalborg, Denmark},
	url             = {http://www.es.ewi.tudelft.nl/papers/2011-Woehrle-conformance-testing.pdf},
	topic           = {Sensor Networks},
	group           = {ES}
}