Amanote Research
Register
Sign In
Synchronous Programming of Reactive Systems
doi 10.1007/978-1-4757-2231-4
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1993
Authors
Nicolas Halbwachs
Publisher
Springer US
Related search
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Thread-Safe Reactive Programming
Proceedings of the ACM on Programming Languages
Executable Modeling for Reactive Programming
Communications in Computer and Information Science
Mathematics
Computer Science
The ForeC Synchronous Deterministic Parallel Programming Language for Multicores
Programming Languages and Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Programming Languages and Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Visual Verification of Reactive Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Asynchronous Testing of Synchronous Components in GALS Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science