Amanote Research
Register
Sign In
Systematic Testing of Asynchronous Reactive Systems
doi 10.1145/2786805.2786861
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Ankush Desai
Shaz Qadeer
Sanjit A. Seshia
Publisher
ACM Press
Related search
Asynchronous Testing of Synchronous Components in GALS Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Systematic Testing of Distributed Real-Time Systems
Executable Interface Specifications for Testing Asynchronous Creol Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asynchronous Programming, Analysis and Testing With State Machines
Active and Reactive Power Regulation in Doubly Fed Asynchronous Generator
ITM Web of Conferences
On the Capacity of Asynchronous CDMA Systems
Conference Record of the Asilomar Conference on Signals, Systems and Computers
Computer Networks
Signal Processing
Communications
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Transition Systems With Independence and Asynchronous Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reactive Clock Synchronization for Wireless Sensor Networks With Asynchronous Wakeup Scheduling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
