A Constrained ECA Language Supporting Formal Verification of WSNs.

Flavio Corradini, Rosario Culmone, Leonardo Mostarda, Luca Tesei, Franco Raimondi

Browse the full AINA paper archive.