PERFORMANCE VERIFICATION OF DISCRETE EVENT SYSTEMS USING HYBRID MODEL-CHECKING
Denis, Bruno, Lesage, Jean-Jaques, Juárez-Orozco, ZulemaVolume:
39
Year:
2006
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20060607-3-it-3902.00067
File:
PDF, 680 KB
english, 2006