Cover Image

Synchronous programming of reactive systems /

Show other versions (1)

This book presents a synthesis of recent works concerning reactive system design. The term `reactive system' has been introduced in order to avoid ambiguities often involved with the term `real-time system' which, while being best-known and suggestive, has been assigned so many different m...

Full description

Bibliographic Details
Main Author: Halbwachs, Nicolas
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, [1993]
Series:Kluwer international series in engineering and computer science ; 215.
Subjects:
Real-time programming.
Programming languages (Electronic computers)
compilation.
vérification programme.
signal.
LUSTRE.
ARGOS.
ESTEREL.
système réactif.
temps réel.
Systèmes à réaction.
Temps réel (informatique)
Systèmes homme-machine.
Programmation parallèle (informatique)
Systèmes conversationnels (informatique)
Langages de programmation.
Programmation en temps réel.
LUSTRE (langage de programmation)
Esterel (langage de programmation)
Echtzeitprogrammierung.
Echtzeitsprache.
Parallelverarbeitung.
Programmierung.
Reaktives System.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.54 .H36 1993eb
 
Call Number Status Get It
QA76.54 .H36 1993eb Available