ACM Transactions on Embedded Computing Systems Journal

Overview

publication venue for

• Compositional Relational Abstraction for Nonlinear Hybrid Systems 2017
• Schedulability of Bounded-Rate Multimode Systems 2017
• Probabilistic Temporal Logic Falsification of Cyber-Physical Systems 2013
• Editorial: Special Section VCPSS'09 2012

Research

keywords

• 0803 Computer Software, 0805 Distributed Computing, 1006 Computer Hardware