Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso
, Isobel Standen et Beverley Townsend
Communication écrite (2026)
 Document en libre accès chez l'éditeur officiel |
| Département: | Département de génie informatique et génie logiciel |
|---|---|
| Organismes subventionnaires: | UK Research and Innovation, Royal Academy of Engineering, Institut de Valorisation des Données, Arts and Humanities Research Council |
| Numéro de subvention: | CiET1718/45, AH/X007146/1, EP/V026747/1, CiET1718 |
| ISBN: | 9783032262202 |
| URL de PolyPublie: | https://publications.polymtl.ca/77317/ |
| Nom de la conférence: | 27th International Symposium on Formal Methods (FM 2026) |
| Lieu de la conférence: | Tokyo, Japan |
| Date(s) de la conférence: | 2026-05-18 - 2026-05-22 |
| Éditeurs ou éditrices: | Augusto Sampaio et Marielle Stoelinga |
| Titre de la revue: | Lecture notes in computer science |
| Maison d'édition: | Springer Science+Business Media |
| DOI: | 10.1007/978-3-032-26220-2_24 |
| URL officielle: | https://doi.org/10.1007/978-3-032-26220-2_24 |
| Date du dépôt: | 09 juin 2026 14:53 |
| Dernière modification: | 09 juin 2026 14:55 |
| Citer en APA 7: | Ribeiro, P., Calinescu, R., Cavalcanti, A., Chechik, M., Getir Yaman, S., Marsso, L., Standen, I., & Townsend, B. (mai 2026). The SLEEC Framework for Normative Requirements Engineering [Communication écrite]. 27th International Symposium on Formal Methods (FM 2026), Tokyo, Japan. Publié dans Lecture notes in computer science. https://doi.org/10.1007/978-3-032-26220-2_24 |
|---|---|
Statistiques
Dimensions
Actions réservées au personnel
|
Afficher document |
