Archives - Page 2

• Development Process for Multi-Disciplinary Embedded Control Systems

  Vol. 1 No. 3 (2012)

• Proceedings of the 9th Overture Workshop

  Vol. 1 No. 2 (2012)

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

  Vol. 1 No. 1 (2012)