List of works - Rosario Culmone - Paulina

List of works by Rosario Culmone

A Constrained ECA Language Supporting Formal Verification of WSNs

scientific article published in March 2015

A model-prover for constrained dynamic conversations

scientific article published on 24 November 2008

Interoperability issues among smart home technological frameworks

Paulina is supported by:

About Paulina

Help