A synchronous paradigm for modeling stable reactive systems

This paper describes a modeling technique for single-agent reactive systems, that is influenced by the modeling paradigm of Parnas as well as by the synchronous paradigms of LUSTRE and ESTEREL. In this paradigm, single-agent reactive systems are modeled in a universe having a discrete clock. This di...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Winter, V.L.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Decision support systems
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!