Roberto Segala – författare

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

5 produkter

1. 

   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. 

   Theory of Timed I/O Automata

   Av Frits Vaandrager, Roberto Segala m. fl.

   E-bok, 2022

   457 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 …

3. 

   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 …

4. 

   Process Algebra and Probabilistic Methods: Performance Modeling and Verification

   Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

   Av Holger Hermanns, Roberto Segala

   Häftad, 2002

   551 kr

   Lägg i varukorg

   This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and …

5. 

   Process Algebra and Probabilistic Methods: Performance Modeling and Verification

   Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

   Av Roberto Segala, Holger Hermanns

   E-bok, 2003

   712 kr

   Lägg i varukorg

   This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and …