|
by Verhulst, Eric, Boute, Raymond T., Faria, José Miguel Sampaio, Sputh, Bernhard H.C.
Published 2011
“... methods in the context of embedded software engineering. Using the formal methods described in this book...”Published 2011
Springer US