G. Carvalho

Latest

• A Process for Sound Conformance Testing of Cyber-Physical Systems
• Simulation of hybrid systems from natural-language requirements