Treffer 1 - 5 von 5 für Suche 'Zhou, Chaochen', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    Duration calculus : a formal approach to real-time systems
    von Zhou, Chaochen
    Veröffentlicht 2004
    Verlagsangaben
    Autorenbiografie
    Inhaltsverzeichnis
    Inhaltstext
    Inhaltsverzeichnis
    Einführung/Vorwort
    Kapitel 1
    Cover
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Duration calculus : a formal approach to real-time systems
    von Zhou, Chaochen
    Veröffentlicht 2004
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    von Zhou, Chaochen
    Veröffentlicht 1981
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Formal methods and hybrid real-time systems : essays in honor of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays ; [papers presented at a symposium held in Macao, China, September 24 - 25, 2007 ; Festschrift Symposium]
    Veröffentlicht 2007
    Cover
    Inhaltstext
    Volltext
    Table of contents
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Symposium on Real-Time and Hybrid Systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday
    Veröffentlicht 2018
    Inhaltstext
    Full Text
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: