Bokus

Dilsun Kaynar – författare

Visar alla böcker från författaren Dilsun Kaynar. Handla med fri frakt och snabb leverans.

2 produkter

  1. Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager - Theory of Timed I/O Automata, Second Edition, Häftad. Tillgänglighet: Lägg i varukorg

    Theory of Timed I/O Automata, Second Edition

    Av Dilsun Kaynar, Nancy Lynch m. fl.

    Häftad, 2010

    377 kr

    Lägg i varukorg

    This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing …

  2. Frits Vaandrager, Roberto Segala, Nancy Lynch, Dilsun Kaynar - Theory of Timed I/O Automata, Second Edition, E-bok. Tillgänglighet: Lägg i varukorg

    Theory of Timed I/O Automata, Second Edition

    Av Frits Vaandrager, Roberto Segala m. fl.

    E-bok, 2022

    460 kr

    Lägg i varukorg

    This monograph presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed (computing) systems. Timed systems are systems in which desirable correctness or performance properties of the system depend on the timing …