State-of-the-art research Fast-track conference proceedings Unique visibility
Alexandre Petrenko
Simulation UML application specific testing automatic testing business information systems control systems embedded systems model checking model-based testing process algebra requirements engineering run-time verification software verification testing wireless applications