Detektion und Verfolgung mehrerer Objekte in Bildfolgen
Simulation eines Dreiphasen-Gleichrichters mit SIMSTAR und ACSL
A safety critical computer system in a railway application
A topological model based on railway capacity to manage periodic train scheduling
WISE expert: An expert system for monitoring ship cargo handling
Towards a unified approach to safety and security in automotive systems
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration