Symbolic model-checking of stateful timed CSP using BDD and digitization

10.1007/978-3-642-34281-3_28Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)7635 LNCS398-41

Systematic and automatic verification of sensor networks

Ph.DDOCTOR OF PHILOSOPH