Cover of Temporal logic for real-time systems

An edition of Temporal logic for real-time systems (1989)

Temporal logic for real-time systems

By Jonathan S. Ostroff

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1989

Publisher

Research Studies Press,Wiley

Language

eng

Pages

209

Description:

subjects: Discrete-time systems, Process control, Real-time data processing, Temps réel (Informatique), Fabrication, Contrôle, Systèmes échantillonnés, Echtzeitsystem, Temporale Logik