International Automotive Conference 2004
(IAC 04)
OSC - Embedded Systems AG will give a talk at the International Automotive Conference 2004 in Stuttgart. The title of the talk will be:
Automatic Validation of Simulink/Stateflow Models - Formal Verification of safety critical Requirements
In the context of the accompanying exibition OSC - Embedded Systems will demonstrate its upcoming Verification Environment for Simulink/Stateflow Designs: the EmbeddedValidator.
For further information have a look an www.mathworks.de/iac.
Automatic Validation of Simulink/Stateflow Models - Formal Verification of safety critical Requirements
In the context of the accompanying exibition OSC - Embedded Systems will demonstrate its upcoming Verification Environment for Simulink/Stateflow Designs: the EmbeddedValidator.
For further information have a look an www.mathworks.de/iac.