Publication year: 2007
ISBN: 978-3-540-75596-8
Internet Resource: Please Login to download book
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
Subject: Computer Science, Simulation, automata, construction, embedded systems, formal method, formal methods, formal performance analysis, hardware verification, hybrid systems, model checking, modeling, petri net, probabilistic models, real-time, verification