𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic Based Abstractions of Real-Time Systems

✍ Scribed by Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigiola Vaglini


Book ID
111564471
Publisher
Springer
Year
2000
Tongue
English
Weight
104 KB
Volume
17
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Real-Time Systems || Design and Analysis
✍ Cheng, Albert M. K. πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley & Sons, Inc. βš– 837 KB

Real-time decision systems are computer-controlled systems that must react to events in the external environment by making decisions based on sensor inputs and state information sufficiently fast to meet environment-imposed timing constraints. They are used in applications that would require human e

Timed Modal Logics for Real-Time Systems
✍ Patricia Bouyer; Franck Cassez; FranΓ§ois Laroussinie πŸ“‚ Article πŸ“… 2010 πŸ› Springer Netherlands 🌐 English βš– 499 KB