Searching for authors named "Luigia Petre" – sorted by Relevance.
-
Developing Control Systems: A Method and a Case Study
- Developing Control Systems: A Method and a Case Study Luigia Petre TUCS Turku Centre for Computer
- Add To MetaCart
-
A Language for Modeling Network Availability
- Luigia Petre | Kaisa Sere | Marina Waldén A Language for Modeling Network Availability TUCS
- Add To MetaCart
-
Mobile Ambients and P-Systems
- of Mathematics, University of Turku FIN-20520 Turku, Finland ipetre@(email omitted); Luigia Petre Turku Centre
- Add To MetaCart
-
Components vs. Objects
- Components vs. Objects Luigia Petre Turku Centre for Computer Science TUCS Technical Reports
- Cited by 2 (0 self) – Add To MetaCart
-
Coordination Among Mobile Objects
- TUCS Coordination Among Mobile Objects Luigia Petre Turku Centre for Computer Science and Abo
- Cited by 6 (4 self) – Add To MetaCart
-
Distributed Object-Based Control Systems
- Distributed Object-Based Control Systems Luigia Petre Turku Centre for Computer Science and Abo
- Add To MetaCart
-
Distributed Object-Based Control Systems
- Distributed Object-Based Control Systems Luigia Petre Turku Centre for Computer Science and Abo
- Cited by 2 (1 self) – Add To MetaCart
-
A Methodology for integration of
- A Methodology for integration of formal methods in a healthcare case study Luigia Petre, Elena
- Add To MetaCart
-
Mobile Ambients and P-Systems Ion Petre Luigia Petre
- Mobile Ambients and P-Systems Ion Petre Luigia Petre Turku Centre for Computer Science TUCS
- Add To MetaCart
-
A Methodology for integration of formal methods in a healthcare case study
- A Methodology for integration of formal methods in a healthcare case study Luigia Petre, Elena
- Add To MetaCart

