Published
Robotique
Formal Verification of Industrial Controllers: with or without a Plant model?
Published on - 7th Portuguese Conference on Automatic Control, CONTROLO'06
Robotique
Published on - 7th Portuguese Conference on Automatic Control, CONTROLO'06