Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things

Laura González(Universidad de la República de Uruguay), Raúl Ruggia(Universidad de la República de Uruguay), Javier Cubo(Universidad de Málaga), Ernesto Pimentel(Universidad de Málaga), Antonio Brogi(University of Pisa)
Communications in computer and information science
January 1, 2013
10.1007/978-3-642-45364-9_26
Cited by 9

Related Papers

Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
A Cloud-Based Internet of Things Platform for Ambient Assisted Living
|Sensors|2014|126
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65