Stavros Tripakis - Veröffentlichungen allgemein

(1 - 7 von 7

)

Black-Box Conformance Testing for Real-Time SystemsSpringer

link.springer.com

von M Krichen · · Zitiert von: 288 — Moez Krichen &; Stavros Tripakis. Conference paper Accesses. 97 Citations. Part of the Lecture Notes in Computer Science book series (LNCS,volume 2989) ...

Stavros TripakisTheses.fr

www.theses.fr

Stavros Tripakis · est l'auteur d'une thèse · a dirigé 1 thèse · a été rapporteur pour 2 thèses ...

RW30-CDC Lafortune WikiUniversity of Michigan

wiki.eecs.umich.edu

— Stéphane Lafortune (University of Michigan, USA); Karen Rudie (Queen's University, Canada); Stavros Tripakis (Aalto University, Finland) ...

Basic Problems in Multi-View Modeling | SpringerLink

link.springer.com

Modeling all aspects of a complex system within a single model is a difficult, if not impossible, task. Multi-view modeling is a methodology where different...

Stavros TripakisWikidata

www.wikidata.org

— Stavros Tripakis. Ph.D. Université Joseph Fourier Grenoble I In more languages. Spanish. No label defined. No description defined.

Modeling for Verification | SpringerLink

link.springer.com

System modeling is the initial, and often crucial, step in verification. The right choice of model and modeling language is important for both designers and...

Folk Theorems on the Determinization and Minimization of Timed...

link.springer.com

Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties?...

Verwandte Suchanfragen zu Stavros Tripakis

Marc Geilen

Personen
Vorname "Stavros" (585)
Name "Tripakis" (1)

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

Veröffentlichungen allgemein Stavros Tripakis

Black-Box Conformance Testing for Real-Time SystemsSpringer

Stavros TripakisTheses.fr

RW30-CDC Lafortune WikiUniversity of Michigan

Basic Problems in Multi-View Modeling | SpringerLink

Stavros TripakisWikidata

Modeling for Verification | SpringerLink

Folk Theorems on the Determinization and Minimization of Timed...