Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

by Grigore Rosu, Oleg Sokolsky, Ylies Falcone, Bernd Finkbeiner, Gordon Pace Paperback 2010

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Grigore Rosu, Oleg Sokolsky, Ylies Falcone, Bernd Finkbeiner, Gordon Pace
  • ISBN 13: 9783642166112
  • ISBN 10: 3642166113
  • Publication Year: 2010
  • Language: English

Specifications

Index-103642166113
LanguageEnglish
Index-139783642166112
Period-
Class Track-
Publisher- (2010)
Pages-

✨ Readers also enjoyed...

View All →
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, Aug

Formal Approaches to Software Test…

Klaus Havelund, Burkhart Wolff, Manuel Núnez, Grigore Rosu

Inquire
Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conferen

Formal Techniques for Distributed …

Holger Giese, Grigore Rosu

Inquire
Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Model Checking Software : 28th Int…

Owolabi Legunsen, Grigore Rosu

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Dana Fisman, Grigore Rosu

Inquire