Date: April 7-9, 2014
Location: Miami, FL, USA
Website: www.icnsc.org/
Matthew Anderson, Sandeep K. Shukla, “APECS Code Synthesis: Extending Ocarina for Multi-Threaded Code Synthesis from AADL Models for Safety Critical Applications,” 11th IEEE International Conference on Networking, Sensing and Control (ICNSC 2014), Miami, FL, USA, April 7-9, 2014