Número de Documento     
Artículo:

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Autor:

Patricia Bouyer

Uli Fahrenberg

Kim G. Larsen

Nicolas Markey

Resumen:

Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.

Página:

78

Publicación:

Communications of the ACM

Volúmen:

54

Número:

9

Periodo:

Septiembre 2011

ISSN:

00010782

SrcID:

00010782-2011-09.txt

Número de Documento