Ylies Falcone,Bernd Finkbeiner Howard Barringer
Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
Lectures on Runtime Verification: Introductory and Advanced Topics | Taschenbuch | 978-3-319-75631-8 | 2018 | Ezio Bartocci |
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings | " | 978-3-319-46981-2 | 2016 | César Sánchez |
Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings | Paperback | 978-3-319-46983-6 | 2016 | " |
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | Taschenbuch | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Klaus Havelund · Insup Lee · Gordon Pace · Grigore Rosu · Oleg Sokolsky |