1
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... -- Integration of Notation and Techniques -- Sensors and actuators in TCOZ -- The UniForM workbench a universal...