printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
 
ETH Zurich - ITET - TIK - Publications
print
  

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

top
© 2017 Laboratory TIK, ETH Zurich | Imprint | Last updated on Fri, 28 Apr, 2017 08:18 | t=0.0047s | Valid HTML 4.01