Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.

Stefan Andrei, Albert Mo Kim Cheng

Browse the full SYNASC paper archive.