Journal article
Verification of Embedded Supervisory Controllers Considering Hybrid Dynamics.
Publication Details
Authors: | Engell, S.; Lohmann, S.; Stursberg, O. |
Publication year: | 2005 |
Journal: | Int. Journal of Software Engineering and Knowledge Engineering |
Pages range : | 307– 312 |
Volume number: | 15(2) |
