0% found this document useful
Loading
Professional Documents
Culture Documents
Document
Tutorial and Reference Manual: Zélus: A Synchronous Language With Odes
Added by tigist shiferaw
Document
Synchronous Programming of Reactive Systems: Nicolas Halbwachs
Added by tigist shiferaw
Document
A Synchronous-Based Code Generator For Explicit Hybrid Systems Languages
Added by tigist shiferaw
Document
Project-Team PARKAS: Activity Report 2019
Added by tigist shiferaw
Document
1 Basic Language 2 2 Clocks 11 3 Arrays and Recursive Nodes 13
Added by tigist shiferaw
Document
A Formally Verified Compiler For Lustre: June 2017
Added by tigist shiferaw