Approaches to the Formal Verification of Hybrid Systems (2001)
by
S. Kowalewski
,
Kowalewski Frankfurt Herrmann
,
S. Engell
,
H. Krumm
,
H. Treseler
,
Dortmund Y. Lakhnech
,
Grenoble R. Huuck
,
B. Lukoschus
| Citations: | 4 - 1 self |
BibTeX
@MISC{Kowalewski01approachesto,
author = {S. Kowalewski and Kowalewski Frankfurt Herrmann and S. Engell and H. Krumm and H. Treseler and Dortmund Y. Lakhnech and Grenoble R. Huuck and B. Lukoschus},
title = {Approaches to the Formal Verification of Hybrid Systems},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
this paper were developed
