S
S. Yovine
Publications - 1
Citations - 60
S. Yovine is an academic researcher. The author has contributed to research in topics: Formal verification & Scheduling (computing). The author has an hindex of 1, co-authored 1 publications receiving 60 citations.
Papers
More filters
Journal ArticleDOI
Building models of real-time systems from application software
J. Sifakis,S. Tripakis,S. Yovine +2 more
TL;DR: An instance of the methodology developed in the TAXYS project for the modeling and analysis of real-time systems programmed in the Esterel language is shown, by using pragmas, time constraints characterizing the execution platform and the external environment.