Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Bereichsnavigation

Hauptinhalt

[Wed00b]

Horst F. Wedde
Can Formal Methods be Integrated into Real-Time Object Oriented Design ? – Response to J. de la Puente’s Contribution
Real-Time Systems, Nr. 18 (1), S. 85-87, 2000-01

Weiterführende Informationen