Arkiver - Side 2

• Development Process for Multi-Disciplinary Embedded Control Systems

  Årg. 1 Nr. 3 (2012)

• Proceedings of the 9th Overture Workshop

  Årg. 1 Nr. 2 (2012)

• Using Executable VDM++ Models in an Industrial Application - Self-defense System for Fighter Aircraft

  Årg. 1 Nr. 1 (2012)