Rajaa
Hakutulokset: 9780792393801
Rajaa
yksi hakutulos.
Symbolic Model Checking
sidottu,
1993,
englanti,
ISBN 9780792393801
Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and …