Formal Specification and Verification of Ubiquitous and Pervasive Systems.

Antonio Coronato Giuseppe De Pietro

Published in: ACM Trans. Auton. Adapt. Syst. (2011)

Keyphrases

grid workflow
ubiquitous and pervasive
formal specification
process algebra
formal methods
asynchronous circuits
databases
distributed systems
building blocks
object oriented design
concurrent systems
expert systems
model checking
specification languages