Searching for "LUSTRE." – sorted by Relevance.
-
A Functional Extension To Lustre
- A FUNCTIONAL EXTENSION TO LUSTRE PAUL CASPI and MARC POUZET Laboratoire VERIMAG Montbonnot, 38330
- Cited by 3 (1 self) – Add To MetaCart
-
A Tutorial Of Lustre
- A TUTORIAL OF LUSTRE Nicolas HALBWACHS, Pascal RAYMOND March 16, 2001 Contents 1 Basic language 2
- Cited by 5 (0 self) – Add To MetaCart
-
The synchronous dataflow programming language LUSTRE
- The synchronous dataflow programming language LUSTRE N. Halbwachs, P. Caspi, P. Raymond IMAG
- Cited by 353 (35 self) – Add To MetaCart
-
POLLUX: A LUSTRE based hardware design environment
- POLLUX : A LUSTRE based hardware design environment Fr'ed'eric ROCHETEAU IMAG-LGI, Grenoble
- Add To MetaCart
-
Formal design of distributed control systems with lustre
- Formal Design of Distributed Control Systems with Lustre � Paul Caspi 1 , Christine Mazuet 2 , Rym
- Cited by 14 (5 self) – Add To MetaCart
-
Production Cell in Lustre - A Case Study
- I. Production Cell in Lustre A Case Study Published in Formal Development of Reactive Systems
- Add To MetaCart
-
A methodology for proving control systems with Lustre and PVS
- A methodology for proving control systems with Lustre and PVS y S.Bensalem, P.Caspi, C
- Cited by 5 (1 self) – Add To MetaCart
-
Translating Discrete-Time Simulink to Lustre
- Translating Discrete-Time Simulink to Lustre STAVROS TRIPAKIS, CHRISTOS SOFRONIS, PAUL CASPI
- Cited by 6 (0 self) – Add To MetaCart
-
Translating Discrete-Time Simulink to Lustre
- Translating Discrete-Time Simulink to Lustre ∗ Paul Caspi Adrian Curic Aude Maignan Christos
- Cited by 15 (6 self) – Add To MetaCart
-
A Formal Approach to Testing LUSTRE Specifications
- A Formal Approach to Testing LUSTRE Specifications Ioannis Parissis Laboratoire Logiciels, Syst
- Cited by 1 (0 self) – Add To MetaCart

