Takip et
Sara Belluccini
Sara Belluccini
IMT Lucca
imtlucca.it üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–3