Anquiro: enabling efficient static verification of sensor network software

Συγγραφείς: Luca Mottola, Thiemo Voigt, Fredrik Österlind, Joakim Eriksson, Luciano Baresi, Carlo Ghezzi

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.sics.se/~luca/papers/mottola10anquiro.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking General Terms Design, Verification Keywords Wireless sensor networks, Static verification

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985; http://www.sics.se/~luca/papers/mottola10anquiro.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.379.9985
http://www.sics.se/~luca/papers/mottola10anquiro.pdf