Login / Signup

APECS code synthesis: Extending ocarina for multi-threaded code synthesis from AADL models for Safety Critical applications.

Matthew AndersonSandeep K. Shukla
Published in: ICNSC (2014)
Keyphrases
  • multi threaded
  • safety critical
  • source code
  • decision making
  • expert systems
  • intelligent systems