Dernière publication du projet

Publié le 18 janvier 2022 par Dominique Méry

Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BGuillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Marc PantelScience of Computer Programming, Elsevier, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩BibTex

Ce contenu a été publié dans Non classé. Vous pouvez le mettre en favoris avec ce permalien.