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