Searching for "LUSTRE." – sorted by Relevance.
803 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
