Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
Refinement-based verification of interactive real-time Systems

Conference Paper

Author:Maria Spichkova
Conference:REFINE 2008 -- International Refinement Workshop
Publisher:ENTCS
Year:2008
 
BibTeX

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact