Georgeta Igna und Formal - Info zur Person

(1 - 9 von 11

)

FORMATS — Formal Modelling and Analysis of Timed Systems —...

formats08.inria.fr

A Framework for Distributing Real-Time Functions; Frits Vaandrager, Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Marc Voorhoeve, ...

Practical Formal Verification Using Automated Reasoning and...

www3.risc.jku.at

... Verification Using Automated Reasoning and Model Checking. RISC-Linz logo . TEAM. IeAT-Timisoara. Team Coordinator. Marius Minea. Team Members. Adrian Craciun. Viorel Negru. Dana Petcu. Georgeta Igna. Maintainer: Nikolaj Popov Last Modification: September 11, [Up] [RISC-Linz] [University] [ Search]

Formal Modeling and Analysis of Timed Systems: 6th International...

books.google.at

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in...

Formal Modeling and Analysis of Timed Systems: 6th International...

books.google.de

... Printers Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits Vaandrager, Marc Voorhoeve, ...

dblp: Formal Modeling and Analysis of Timed Systems 2008

dblp.uni-trier.de

Bibliographic content of Formal Modeling and Analysis of Timed Systems 2008

Formal Modeling and Scheduling of Datapaths of Digital Document ...link.springer.com › chapter

link.springer.com

von G Igna · · Zitiert von: 24 — Georgeta Igna; Venkatesh Kannan; Yang Yang; Twan Basten; Marc Geilen; Frits Vaandrager; Marc Voorhoeve; Sebastian de Smet; Lou Somers. Georgeta Igna.

EPTCS 13: Quantitative Formal Methods: Theory and Applications

cgi.cse.unsw.edu.au

Israa AlAttili, Fred Houben, Georgeta Igna, Steffen Michels, Feng Zhu and Frits Vaandrager, 1. Markovian Testing Equivalence and ...

Formal Modeling and Analysis of Timed Systems 2008

www.sigmod.org

Bibliographic content of Formal Modeling and Analysis of Timed Systems 2008

Alle Infos zum Namen "Georgeta Igna"

Verwandte Suchanfragen zu Georgeta Igna

Matthias Büker
Steffen Michels
Karsten Albers

Martijn Hendriks
Maike Rosinger
Marc Geilen

Vincent Aravantinos
Raphael Weber
Fred Houben

Personen
Vorname "Georgeta" (77)
Name "Igna" (10)

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

Georgeta Igna und Formal Person-Info