Synthesis of task and message activation models in real-time distributed automotive systems.
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Browse the full DATE paper archive.
Wei Zheng, Marco Di Natale, Claudio Pinello, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli
Browse the full DATE paper archive.