Lina Marsso
, Radu Mateescu, Ioannis Parissis et Wendelin Serwe
Communication écrite (2019)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Un lien externe est disponible pour ce document
| ISBN: | 9783030349684 |
|---|---|
| URL de PolyPublie: | https://publications.polymtl.ca/73865/ |
| 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: | Wolfgang Ahrendt et Silvia Lizeth Tapia Tarifa |
| Titre de la revue: | Lecture notes in computer science |
| Maison d'édition: | Springer Science+Business Media |
| DOI: | 10.1007/978-3-030-34968-4_20 |
| URL officielle: | https://doi.org/10.1007/978-3-030-34968-4_20 |
| Date du dépôt: | 05 mai 2026 14:31 |
| Dernière modification: | 05 mai 2026 14:33 |
| 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
Actions réservées au personnel
|
Afficher document |
