Lectures on Runtime Verification Introductory and Advanced Topics /
The idea of this volume originated from the need to have a book for students to support their training with several tutorials on different aspects of RV. The volume has been organized into seven chapters and the topics covered include an introduction on runtime verification, dynamic analysis of conc...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Bartocci, Ezio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Falcone, Yliès (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Σειρά: | Programming and Software Engineering ;
10457 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Έκδοση: (2018) -
Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
Έκδοση: (2018) -
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings /
Έκδοση: (2019) -
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
Έκδοση: (2018) -
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
Έκδοση: (2019)