Department highlights - METEOR guided by Statemate
2005
Aufsatz (Zeitschrift)
Unbekannt
Modellierung der Forms-Fallstudien mit Statemate
Tema Archiv | 2000
|Department highlights - Technology update - Testing a Meteor for all seasons
Online Contents | 2006
Formale Analyse und Verifikation von Statemate-Entwürfen
IuD Bahn | 2001
|I-Logix launches new version of Statemate MAGNUM
Emerald Group Publishing | 2001