M. Cubero-Castan

Learn More
This paper describes a system called SATURNE (Synchronous AnyTime coUpling for Real-time reasoNing dEsign), which constitutes a framework for designing intelligent time critical systems. The model involves a mixed (synchronous/asynchronous) programming approach built around a strong synchronous formalism for the expression of critical timing constraints,(More)
  • 1