The synchronous approach to reactive and real-time systems
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 79 (9), 1270-1282
- https://doi.org/10.1109/5.97297
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Consistency in dataflow graphsIEEE Transactions on Parallel and Distributed Systems, 1991
- Continuous speech recognition using hidden Markov modelsIEEE ASSP Magazine, 1990
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- A new statistical approach for the automatic segmentation of continuous speech signalsIEEE Transactions on Acoustics, Speech, and Signal Processing, 1988
- Static Scheduling of Synchronous Data Flow Programs for Digital Signal ProcessingIEEE Transactions on Computers, 1987
- Signal--A data flow-oriented language for signal processingIEEE Transactions on Acoustics, Speech, and Signal Processing, 1986
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsPublished by Springer Science and Business Media LLC ,1986
- Petri NetsPublished by Springer Science and Business Media LLC ,1985
- On the Development of Reactive SystemsPublished by Springer Science and Business Media LLC ,1985