Luigia Petre - Free People Check with News, Pictures & Links

	Finland Turku

	Åbo Akademi University Engineering Kaisa Sere Action Systems Integrated Formal Methods Conference Distributed Systems

Images of Luigia Petre

(1 - 1 from 1 )

News

(1 - 4 from 5

–show all

)

Programme Committee | 6th International ABZ Conference ASM, Alloy ...

www.southampton.ac.uk

... Uwe Nestmann, TU Berlin; Jose Oliveira, University of Minho; Luigia Petre, Åbo Akademi University; Andreas Prinz, University of Agder; Philippe Quéinnec, ...

IDT - ES

www.es.mdh.se

The examining committee consists of Associate Professor Bernhard Aichernig, Graz University of Technology; Adjunct Professor Luigia Petre, Åbo akademi; ...

VECoS 2017

vecos.ensta-paris.fr

Mojgan Kamali and Luigia Petre. Uppaal vs Event-B for Modelling Optimised Link State Routing. 16:00-16:30 Closing Session. Conference Cruise Diner 19h ...

iFM : 10th International Conference on integrated Formal Methodswikicfp.com/cfp/servlet/event.showcfp?eventid=26256©ownerid=43625

wikicfp.com

Luigia Petre, Åbo Akademi University, Finland iFM TUTORIALS and WORKSHOPS CHAIR Pontus Boström, Åbo Akademi University, Finland Tutorial and ...

Network Profiles

(1 - 4 from 12

–show all

)

Facebook: Luigia Petre | Facebook

LinkedIn: Luigia Petre | Berufsprofil

Sehen Sie sich das Profil von Luigia Petre auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. Luigia Petre hat 3 Jobs im Profil angegeben. Sehen Sie sich ...

LinkedIn: Luigia Petre | Perfil profesional

Ve el perfil de Luigia Petre en LinkedIn, la mayor red profesional del mundo. Luigia tiene 3 empleos en su perfil. Ve el perfil completo en LinkedIn y descubre los ...

Business Profiles

Private Homepages

Luigia Petre's homepage

lpetreweb.wordpress.com

What do we study? Given the widespread use of computers, having them communicate with each other was the logical next step. The local (area) networks, known better as ...

Luigia Petre | Åbo Akademi University

www.abo.fi

Luigia Petre. Akademilektor,. i datavetenskap. . Tel. + Research database Artur. Back to top.

Books & Literature

(1 - 4 from 28

–show all

)

Luigia Petre | LibraryThing

www.librarything.com

Luigia Petre, author of Dependability and Computer Engineering: Concepts for Software-Intensive…, on LibraryThing

AbeBooks: petre luigia editor - AbeBooks

From Action Systems to Distributed Systems de Luigia Petre (editor), Emil Sekerinski (editor) et un grand choix de livres semblables d'occasion, rares et de ...

Butler Michael Kaisa Sere and Luigia Petre - AbeBooks

www.abebooks.com

Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May Proceedings by Michael Butler, Luigia Petre, Kaisa Sere and a...

bokus.com: Luigia Petre - Böcker | Bokus bokhandel

Köp böcker av Luigia Petre: Dependability and Computer Engineering; Integrated Formal Methods;

Music

Luigia Petre – CDs, Noten, Bücher und mehr – jpc.de

www.jpc.de

Ihre Suche nach "luigia petre" ergab 33 Treffer. Sortieren nach: Bitte auswählen, Interpret A-Z, Interpret Z-A, Titel A-Z, Titel Z-A, Preis aufsteigend, Preis ...

Scientific Publications

dblp: BibTeX records: Luigia Petre

dblp.uni-trier.de

List of computer science publications by BibTeX records: Luigia Petre.

dblp: Luigia Petre

dblp.org

Einar Broch Johnsen, Luigia Petre: Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June ,

dblp: Luigia Petre

dblp.uni-trier.de

List of computer science publications by Luigia Petre

Publications

(1 - 4 from 5

–show all

)

bol.com: bol.com | Luigia Petre artikelen kopen? Alle artikelen online

Op zoek naar artikelen van Luigia Petre? Artikelen van Luigia Petre koop je eenvoudig online bij bol.com ✓ Vele aanbiedingen bij bol.com ✓ Gratis retourneren ✓...

Kaisa Sere: In Memoriam | SpringerLink

link.springer.com

Kaisa Sere: In Memoriam. Authors; Authors and affiliations. Luigia PetreEmail author; Elena Troubitsyna; Marina Waldén. Luigia Petre. 1. Email author; Elena Troubitsyna. 1. Marina Waldén Department of Information TechnologiesÅbo Akademi UniversityTurkuFinland. Obituary. First Online: 09 January ...

Maryam Kamali: Publications

cgi.csc.liv.ac.uk

Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö and Petter Sandvik, “On Proving Recoverability of ...

Oalib search

www.oalib.com

Maryam Kamali,Mats Neovius,Luigia Petre,Petter Sandvik ISRN Software Engineering , 2013, DOI: Abstract ...

Reports & Statements

JISCMail - PROCOS Archives

www.jiscmail.ac.uk

iFM PROGRAMME COMMITTEE CHAIRS: - Einar Broch Johnsen, University of Oslo, Norway - Luigia Petre, Åbo Akademi University, Finland ...

Paper on semantics and refinement of UML sequence diagrams to appear...

www.concerto-project.org

The paper Mandatory and Potential Choice: Comparing Event-B and STAIRS by Atle Refsdal, Ragnhild Kobro Runde and Ketil Stølen will appear in the book From A…