|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 5 of 8 found articles
| Title: |
A Timed Extension for ALTARICA |
| Author: |
Franck Cassez Claire Pagetti Olivier Roux |
| Appeared in: |
Fundamenta informaticae |
| Paging: | Volume 62 (2004) nr. 3-4 pages 291-332 |
| Year: |
2004-11-30 |
| Contents: |
In this paper we present a timed extension of the ALTARICA formalism. Following previous works, we first extend the semantics of ALTARICA with time and define timed components and timed nodes. Moreover we lift the priority features of ALTARICA to the timed case. We obtain a timed version of ALTARICA, called ALTARICA. Finally we give a translation of a ALTARICA specification into a usual timed automaton. These are the semantic foundations of a high-level hierarchical language for the specification of timed systems. |
| Publisher: |
IOS Press |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 5 of 8 found articles
| << previous | next >> |