Sciweavers

AUTOMATICA
1999

Verification of logic controllers for continuous plants using timed condition/event-system models

13 years 11 months ago
Verification of logic controllers for continuous plants using timed condition/event-system models
Stefan Kowalewski, Sebastian Engell, Jörg Pre
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where AUTOMATICA
Authors Stefan Kowalewski, Sebastian Engell, Jörg Preußig, Olaf Stursberg
Comments (0)