Publication year: 2007
: 978-3-540-75596-8
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects
: 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