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 performan...Loe edasi...
Sari: Synthesis Lectures on Distributed Computing Theory
(Ilmumisaeg: 01-Jun-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031020032)
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 performan...Loe edasi...
(Ilmumisaeg: 02-Aug-2003, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783540456056)
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 combinat...Loe edasi...
