System refinement in practice - using a formal method to modify real-life knowledge

Einordnung

Original:

Datum der Erstellung:

01.10.2005

Datum der Veröffentlichung:

01.10.2005

PPN:

500477965

Sprache:

Englisch

Klassifikation:

Klasse A

Klassifikation:

für Harvesting bereitgestellt

Einrichtung:

Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung