Stavros Tripakis - Bücher - alle Infos bei Yasni.de

(1 - 10 von 11

)

Publications

www.redcad.org

ReDCAD: Research laboratory on Development and Control of Distributed Applications

Formal Modeling and Analysis of Timed Systems: 9th ...google.ca

books.google.ca

... Stavros Tripakis Ben Worrell Table of Contents Invited Talks Performance Evaluation of Schedulers in. Program. Chairs. Uli Fahrenberg Stavros Tripakis. Program.

Formal Modeling and Analysis of Timed Systems: Third ...google.ca

books.google.ca

... Stavros Tripakis, and Sergio Yovine. The tool KRONOS. In Proc. Hybrid Systems III: Verification and Control (1995), volume of Lecture Notes in Computer ...

STACS 2003: 20th Annual Symposium on Theoretical Aspects of ...google.ca

books.google.ca

... Stavros Tripakis and Sergio Yovine. The Tool Kronos. In Proc. Hybrid Systems III: Verification and Control (1995), vol of Lecture Notes in Computer ...

Formal Modeling and Analysis of Timed Systems: 9th ...google.ro

books.google.ro

9th International Conference, FORMATS 2011, Aalborg, Denmark, September , 2011, Proceedings Uli Fahrenberg, Stavros Tripakis.

STACS 2003: 20th Annual Symposium on Theoretical Aspects of ...google.ro

books.google.ro

Conrado Daws and Stavros Tripakis. Model-Checking of Real-Time Reachability Properties using Abstractions. In Proc. 4th International Conference on Tools ...

Formal Modeling and Analysis of Timed Systems: Third International...

books.google.de

Conrado Daws, Alfredo Olivero, Stavros Tripakis, and Sergio Yovine. The tool KRONOS. In Proc. Hybrid Systems III: Verification and Control (1995), volume ...

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

books.google.ae

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

STACS 2003: 20th Annual Symposium on Theoretical Aspects of Computer...

books.google.de

This book constitutes the refereed proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2003, held in Berlin, Germany in...

Real-Time Simulation Technologies: Principles, Methodologies, and...

books.google.de

Real-Time Simulation Technologies: Principles, Methodologies, and Applications is an edited compilation of work that explores fundamental concepts and basic...

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

Bücher Stavros Tripakis