Rapport technique

Supervisory Control with Divergence ...

Hallal, H., Negulescu, R., Petrenko, A. Supervisory Control with Divergence Freedom in Two Safety Models. Montréal, Centre de recherche informatique de Montréal, 2000. 109 p. . [CRIM-00/01-02]