Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso
, Isobel Standen, Beverley Townsend
Communication écrite (2026)
Accéder à ce document
Lien externe
Libre accès au texte intégral chez l'éditeur officiel
Libre accès au texte intégral chez l'éditeur officielMots clés
Département:
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
Adresse URL de PolyPublie:
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:
Titre de la revue
:
Lecture notes in computer science
Maison d'édition:
Springer Science+Business Media
URL officielle:
OAI:
oai:publications.polymtl.ca:77317
ORCID
Date du dépôt:
09 juin 2026 14:53
Dernière modification:
14 oct. 2026 14:39
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
