Követés
Sara Belluccini
Sara Belluccini
IMT Lucca
E-mail megerősítve itt: imtlucca.it
Cím
Hivatkozott rá
Hivatkozott rá
Év
Verification of privacy-enhanced collaborations
S Belluccini, R De Nicola, M Dumas, P Pullonen, B Re, F Tiezzi
Proceedings of the 8th International Conference on Formal Methods in …, 2020
52020
PALM: A Technique for Process ALgebraic Specification Mining
S Belluccini, R De Nicola, B Re, F Tiezzi
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
22020
Exploiting Process Algebras and BPM Techniques for Guaranteeing Success of Distributed Activities
S Belluccini
IMT Institute for Advanced Studies Lucca, 2023
2023
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–3