363 research outputs found
Specifying and verifying sensor networks: An experiment of formal methods
10.1007/978-3-540-88194-0-20Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5256 LNCS318-33
- …