The book presents a collection of original, state of the art, contributions in the field of modeling and analyzing real-time systems. All contributors have been invited to submit a paper on the basis of their recognized activity in the field. A "benchmark case study", the so called "Generalized railroad corssing", has been proposed to all authors to help critical evaluation and comparisons among the various approaches. A peer review process has been applied to all submitted contributions.
Formal Methods for Real-Time Computing
MANDRIOLI, DINO
1996-01-01
Abstract
The book presents a collection of original, state of the art, contributions in the field of modeling and analyzing real-time systems. All contributors have been invited to submit a paper on the basis of their recognized activity in the field. A "benchmark case study", the so called "Generalized railroad corssing", has been proposed to all authors to help critical evaluation and comparisons among the various approaches. A peer review process has been applied to all submitted contributions.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.