|  |
| |
| Artikel-Nr.:
5667A-9783319133379 Herst.-Nr.:
9783319133379 EAN/GTIN:
9783319133379 |
| |
|
| | |
| This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems. Weitere Informationen: | | Author: | Eran Yahav | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, DMA; Discrete-event Systems; HOL4; automata-based programming; automated testing; automated verification, DMA, HOL4, automata-based programming, automated testing, automated verification, discrete-event systems, dynamic invariants, formal verification, java, model checking |
| | |
| |