Hardware and Software: Verification and Testing

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Hardware and Software: Verification and Testing
 
ISBN
978-3-642-19582-2
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
Springer
 
Place of publishing Erscheinungsort
Berlin, Heidelberg
6504
 
DOI
10.1007/978-3-642-19583-9
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Claessen, Koen ; Kilhamn, Jonatan ; Kovács, Laura ; Lennartson, Bengt ; Strichman, Ofer ; Tzoref-Brill, Rachel A Supervisory Control Algorithm Based on Property-Directed ReachabilityKonferenzbeitrag Inproceedings 2017
2Bogomolov, Sergiy ; Schilling, Christian ; Bartocci, Ezio ; Batt, Gregory ; Kong, Hui ; Grosu, Radu Abstraction-Based Parameter Synthesis for Multiaffine SystemsKonferenzbeitrag Inproceedings 2015
3Holzer, Andreas ; Tautschnig, Michael ; Schallhart, Christian ; Veith, Helmut ; Barner, Sharon ; Harris, Jan G. ; Kroening, Daniel ; Raz, Orna An Introduction to Test Specification in FQLKonferenzbeitrag Inproceedings 2010
4Charlie Shucheng, Zhu ; Weissenbacher, Georg ; Malik, Sharad Coverage-Based Trace Signal Selection for Fault Localisation in Post-silicon ValidationKonferenzbeitrag Inproceedings 2012
5Laarman, Alfons ; Wijs, Anton Partial-Order Reduction for Multi-core LTL Model CheckingKonferenzbeitrag Inproceedings 2014
6Heule, Marijn J. H. ; Kiesl, Benjamin ; Seidl, Martina ; Biere, Armin PRuning Through SatisfactionKonferenzbeitrag Inproceedings 2017
7Shmarov, Fedor ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid SystemsKonferenzbeitrag Inproceedings2017
8Shoaei, Mohammad Reza ; Kovács, Laura ; Lennartson, Bengt ; Yahav, Eran Supervisory Control of Discrete-Event Systems via IC3Konferenzbeitrag Inproceedings 2014