Applied Statistical Model Checking for a Sensor Behavior Analysis.

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga

Browse the full QUATIC paper archive.