Suchergebnisse - Alur, Rajeev

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    Principles of cyber-physical systems
    von Alur, Rajeev 1966-

    Veröffentlicht 2015
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A really temporal logic
    von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Principles of cyber-physical systems
    von Alur, Rajeev 1966-

    Veröffentlicht 2015
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Techniques for automatic verification of real-time systems
    von Alur, Rajeev

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Real-time logics: complexity and expressiveness
    von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    The benefits of relaxing punctuality
    von Alur, Rajeev, Feder, Tomás, Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Techniques for automatic verification of real-time systems
    von Alur, Rajeev

    Veröffentlicht 1991
    Buch


    Gespeichert in:

Suchwerkzeuge: