1.3k citations · 2.1k across the 35 of their papers we have counts for
1 paper · 2 filters
Guillaume Baudart, Louis Mandel, Eric Atkinson +3
Synchronous modeling is at the heart of programming languages like Lustre, Esterel, or Scade used routinely for implementing safety critical control software, e.g., fly-by-wire and…