Lina Marsso
, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
Communication écrite (2019)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Mots clés
ISBN:
9783030349684
Adresse URL de PolyPublie:
Nom de la conférence:
15th International Conference on Integrated Formal Methods (IFM 2019)
Lieu de la conférence:
Bergen, Norway
Date(s) de la conférence:
2019-12-02 - 2019-12-06
Éditeurs ou éditrices:
Titre de la revue
:
Lecture notes in computer science
Maison d'édition:
Springer Science+Business Media
URL officielle:
OAI:
oai:publications.polymtl.ca:73865
ORCID
Date du dépôt:
05 mai 2026 14:31
Dernière modification:
14 oct. 2026 14:35
Citer en APA 7:
Marsso, L., Mateescu, R., Parissis, I., & Serwe, W. (décembre 2019). Asynchronous Testing of Synchronous Components in GALS Systems [Communication écrite]. 15th International Conference on Integrated Formal Methods (IFM 2019), Bergen, Norway. Publié dans Lecture notes in computer science. https://doi.org/10.1007/978-3-030-34968-4_20
Statistiques
Dimensions
