Jump label

Service navigation

Main navigation

You are here:

Sub navigation

Main content

[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