EMBEDDEDVALIDATOR

Computer software tools for automatic model-based verification of reactive embedded systems, namely for mathematically checking…
Owned by: OSC - Embedded Systems AG
Serial Number: 79012794