Research Field
- Not defined
Application Model Verification for Distributed (Time Triggered) Systems
- Schlick, R. (Author)
- Wolfgang Herzner (Author)
- Alain Le Guennec (Author)
- Bruno Martin (Author)
Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop