Marc Lettrari und Space Exploration - Info zur Person

(1 - 13 von 13

)

Promotionen - Uni-Info Presse & Kommunikation - Universität...

www.presse.uni-oldenburg.de

Marc Lettrari, Thema „Efficient State Space Exploration of Reactive Object-Oriented Programs”, (Informatik) Andreas Stein, Thema „Ökonomische Überlegungen zur ...

DNB, Katalog der Deutschen Nationalbibliothek

portal.dnb.de

Titel, Efficient state space exploration of reactive object-oriented programs / von Marc Lettrari. Person(en), Lettrari, Marc (Verfasser). › opacPresentation › any

FME 2003: Formal Methods: International Symposium of Formal Methods...

books.google.lv

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems Marc Lettrari OFFISD Oldenburg, Germany ...

Efficient State Space Exploration of Reactive Object-oriented...

books.google.de

Marc Lettrari pages. 0 Reviewshttp://books.google.com/books/about/Efficient_State_Space_Exploration_of_Rea.html?id=a0PungEACAAJ ...

Marc Lettrari - dblpdblp.org › Persons

dblp.org

Marc Lettrari: Efficient state space exploration of reactive object-oriented programs. University of Oldenburg, Germany, 2005, pp text to speech ...

Search results for "FME" – FacetedDBLP

dblp.l3s.uni-hannover.de

Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME : 2003: DBLP DOI BibTeX RDF: UML, abstractions ...

Software Design, Modelling, and Analysis in UML — Software Engineering

swt.informatik.uni-freiburg.de

Marc Lettrari, Efficient State Space Exploration of Reactive Object-Oriented Programs, Dissertation, Universität Oldenburg, Checking existence of scenarios and ...

Efficient State Space Exploration of Reactive Object-Oriented ...

www.yumpu.com

Efficient State Space Exploration of Reactive Object-Oriented ...

FME 2003: Formal Methods | SpringerLinklink.springer.com › book

link.springer.com

Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. Marc Lettrari. Pages

Using Abstractions for Heuristic State Space Exploration of Reactive...

link.springer.com

We present a novel framework for symbolically exploring very large or infinite state spaces of concurrent reactive object-oriented systems. In our framework we...

Promotionen — Carl von Ossietzky Universität Oldenburg

uol.de

Marc Lettrari: Efficient State Space Exploration of Reactive Object-Oriented Programs: 90: : Hartmut Wittke: An Environment for Compositional Specification Verification of Complex Embedded Systems: 89: : Susanne Pedersen. Interoperabilität heterogener Informationsquellen im Gesundheitswesen auf Grundlage von Standards für die medizinische Kommunikation und …

Ralf Buschermöhle

Personen
Vorname "Marc" (37406)
Name "Lettrari" (15)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Marc Lettrari und Space Exploration Person-Info

Promotionen - Uni-Info Presse & Kommunikation - Universität...

DNB, Katalog der Deutschen Nationalbibliothek

FME 2003: Formal Methods: International Symposium of Formal Methods...

Efficient State Space Exploration of Reactive Object-oriented...

Marc Lettrari - dblpdblp.org › Persons

Search results for "FME" – FacetedDBLP

Software Design, Modelling, and Analysis in UML — Software Engineering

Efficient State Space Exploration of Reactive Object-Oriented ...

FME 2003: Formal Methods | SpringerLinklink.springer.com › book

Using Abstractions for Heuristic State Space Exploration of Reactive...

Promotionen — Carl von Ossietzky Universität Oldenburg

FM PROGRAM

BibSLEIGH — Using Abstractions for Heuristic State Space Exploration...

Alle Infos zum Namen "Marc Lettrari"