Compiling Real-Time Specifications into Extended Automata (1992)
by
Xavier Nicollin
,
Joseph Sifakis
,
Sergio Yovine
| Venue: | IEEE Transactions on Software Engineering |
| Citations: | 76 - 8 self |
BibTeX
@ARTICLE{Nicollin92compilingreal-time,
author = {Xavier Nicollin and Joseph Sifakis and Sergio Yovine},
title = {Compiling Real-Time Specifications into Extended Automata},
journal = {IEEE Transactions on Software Engineering},
year = {1992},
volume = {18},
pages = {794--804}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We propose a method for the implementation and analysis of real-time systems, based on the compilation of specifications into extended automata. Such a method has been already adopted for the so called "synchronous" real-time programming languages.
