Technical report

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]

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…