National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Petre, Luigia
URI:
http://urn.fi/URN:NBN:fi:au:pn:000124592
name
Petre, Luigia
Authored works
A language for modeling network availability
A topological approach to distributed computing
Components vs. objects
Coordination among mobile objects
Developing control systems : a method and a case study
Distributed object-based control systems
Mobile components as topological action systems
Modeling with action systems
Works contributed to
A methodology for co-design based on a healthcare case study
A methodology for integration of formal methods in a healthcare case study
Crest, Centre for Reliable Software Technology : progress report 2004-2005
Formalising UML use cases in the refinement calculus
Integrated formal methods : third international conference, IFM 2002 : Turku, Finland, May 15-18, 2002 : proceedings
Mobile ambients and P-systems
Nodes 07 : Nordic workshop and doctoral symposium on dependability and security, Oslo, Norway, October 2007 : abstracts
NWPT'10
Works about Petre, Luigia
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD