Luigia Petre

Luigia Petre

Abo Akademi University - Turku / Finland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1655840
Åbo Akademi University
person_outline Luigia Petre's MOST POPULAR ARTICLES
1-) Analysing UML use cases as contractsRJ Back, L Petre, IP PaltorInternational Conference on the Unified Modeling Language, 518-533, 1999521999
2-) Formalising UML use cases in the refinement calculusRJ Back, L Petre, IP PaltorTurku Centre for Computer Science, 1999471999
3-) Generalizing action systems to hybrid systemsRJ Back, L Petre, I PorresFormal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000402000
4-) Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002: ProceedingsM Butler, L Petre, K SereSpringer Verlag, 200240*2002
5-) EditorialM Butler, EB Johnsen, L PetreFormal Aspects of Computing 27, 611-612, 201534*2015