Towards the Verification of Pervasive Systems (2009)

First Author: Sven Schewe (Co-Author)
Attributed to:  Verifying Interoperability Requirements in Pervasive Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Parent Publication: Formal Methods of Interactive Systems