Professor Rance Cleaveland, Ph.D.

Adresse University of Maryland
Department of Computer Science
8125 Paint Branch Drive
College Park MD 20742
USA

Projekte

Als Kooperationspartner
- abgeschlossene Projekte
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik (Sachbeihilfen)