FORMAL SPECIFICATION AND SYNTHESIS OF PROCEDURAL CONTROLLERS FOR PROCESS SYSTEMS

SPRINGER
03 / 1996
9783540760214
Inglés
Lecture Notes in Control and Information Sciences