[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - A bounded model checking tool for periodic sample-hold systems
Simko, Gabor, Jackson, Ethan K.Year:
2014
Language:
english
DOI:
10.1145/2562059.2562134
File:
PDF, 1.12 MB
english, 2014