Volume 88,
October 2004
SLAP 2003:
Synchronous Languages,
Applications and Programming,
A Satellite Workshop of ECRST 2003,
Porto,
Portugal
- Florence Maraninchi, Alain Girault, Éric Rutten:
Foreword.
1-2
- Charles André:
Computing SyncCharts Reactions.
3-19
- Joaquin Aguado, Michael Mendler, Gerald Lüttgen:
A-maze-ing Esterel.
21-37
- Mirabelle Nebut:
An Overview of the Signal Clock Calculus.
39-54
- Koen Claessen:
Safety Property Verification of Cyclic Synchronous Circuits.
55-69
- Miguel Riesco, Javier Tuya:
Synchronous Estelle: Just Another Synchronous Language?
71-86
- Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
87-103
- Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon:
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
105-121
Copyright © Mon Mar 15 04:00:56 2010
by Michael Ley (ley@uni-trier.de)
