printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
  

List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found. 
@inproceedings{LWT11a,
 author = {Matthias Woehrle and Kai Lampka and Lothar Thiele},
 title = {Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems},
 address = {Aalborg, Denmark},
 booktitle = {Lecture Notes on Computer Science. Formal Modeling and Analysis of Timed Systems. 9th International Conference FORMATS 2011},
 pages = {193--208},
 publisher = {Springer, Heidelberg},
 volume = {6919},
 month = {Sep},
 year = {2011}
}
1 entry found.

 
 Back