Göessel, Michael.
New Methods of Concurrent Checking [electronic resource] / by Michael Göessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld. - Dordrecht : Springer Netherlands, 2008. - digital. - Frontiers In Electronic Testing, 42 0929-1296 ; . - Frontiers In Electronic Testing, 42 .
9781402084201
10.1007/978-1-4020-8420-1 doi
Engineering.
Computer simulation.
Systems engineering.
Engineering.
Circuits and Systems.
Simulation and Modeling.
TK7888.4
621.3815
New Methods of Concurrent Checking [electronic resource] / by Michael Göessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld. - Dordrecht : Springer Netherlands, 2008. - digital. - Frontiers In Electronic Testing, 42 0929-1296 ; . - Frontiers In Electronic Testing, 42 .
9781402084201
10.1007/978-1-4020-8420-1 doi
Engineering.
Computer simulation.
Systems engineering.
Engineering.
Circuits and Systems.
Simulation and Modeling.
TK7888.4
621.3815