Search results for: Mats Neovius
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The DEPLOY Project > 102-118
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 186-200
Lecture Notes in Computer Science > Embedded and Ubiquitous Computing – EUC 2005 Workshops > IFIP International Symposium on Network-Centric Ubiquitous Systems (NCUS 2005) > 602-611