Résultats de recherche

  • 2016

    Real-time model-driven engineering: An overview

    Amrani, M. & Schobbens, P. Y., 2016, Dans: CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

    Résultats de recherche: Contribution à un journal/une revueArticleRevue par des pairs

  • 2017

    Formal analysis of object-oriented mograms

    Amrani, M. & Schobbens, P. Y., 18 juin 2017, Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press, p. 1-6 6 p. (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque