Quantitative Verification: Models, Techniques and Tools (2007)
Attributed to:
UbiVal: Fundamental Approaches to Validation of Ubiquitous Computing Applications and Infrastructures
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: Proc. 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)