R. M. · Rupak Majumdar Paulo Tabuada
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| [(Hybrid Systems: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings)] | 978-3-642-00603-6 | 2009 | |
| Hybrid Systems: Computation and Control: 12th International Conference, H.S.C.C. 2009, San Francisco, CA, U.S.A. April 13-15, 2009, Proceedings | 978-3-642-00601-2 | 2009 | |
| Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings | 978-3-540-85113-4 | 2008 | Klaus Havelund · Jens Palsberg |
| Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings | 978-3-319-23819-7 | 2015 | Ezio Bartocci |
| Tools and Algorithms for the Construction and Analysis of Systems | 978-3-642-12001-5 | 2010 | Javier Esparza |