Statecharts: A visual formalism for complex systems
Science of Computer Programming
Reactive C: an extension of C to program reactive systems
Software—Practice & Experience
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comparing different approaches for specifying and verifying real-time systems
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors
IEEE Transactions on Software Engineering
Programming Distributed Reactive Systems: a Strong and Weak Synchronous Coupling
WDAG '93 Proceedings of the 7th International Workshop on Distributed Algorithms
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Globally-asynchronous locally-synchronous systems (performance, reliability, digital)
Argos: an automaton-based synchronous language
Computer Languages
Hi-index | 0.00 |