Conference , Workshops Proceedings

Vérification des systèmes hybrides ...

Vachon, J., Sahraoui, H. A., Essalihe, M. et Nilie, H. "Vérification des systèmes hybrides objets-règles" dans Actes de la Conférence Langage Modèles et Objets (LMO2004). Lille, France

  • 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…