Robotique

Formal Verification of Industrial Controllers: with or without a Plant model?

Publié le 11 septembre 2006 - 7th Portuguese Conference on Automatic Control, CONTROLO'06

Auteurs : José Machado, Bruno Denis, Jean-Jacques Lesage