𝔖 Bobbio Scriptorium

✦ LIBER ✦

A survey on temporal logics for specifying and verifying real-time systems

✍ Scribed by Savas Konur

Book ID: 120948155
Publisher: Springer-Verlag
Year: 2013
Tongue: English
Weight: 574 KB
Volume: 7
Category: Article
ISSN: 2095-2228
DOI: 10.1007/s11704-013-2195-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrating UML and UPPAAL for designing

Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems

✍ André L. N. Muniz; Aline M. S. Andrade; George Lima 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 500 KB

Mode Change Protocols for Real-Time Syst

Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal

✍ Jorge Real; Alfons Crespo 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 389 KB

[IEEE Comput. Soc Eighth International S

[IEEE Comput. Soc Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Cividale del Friuli, Italy (14-16 June 2001)] Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001 - Modelling, specifying, and verifying message passing systems

✍ Bollig, B.; Leucker, M. 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 739 KB

[IEEE 2008 15th International Symposium

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Temporal Description Logics: A Survey

✍ Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael 📂 Article 📅 2008 🏛 IEEE ⚖ 335 KB

Simple feedback logic, genetic algorithm

Simple feedback logic, genetic algorithms and artificial neural networks for real-time control of a collection system

✍ Pavel Hajda; Vladimir Novotny; Xin Feng; Ruoli Yang 📂 Article 📅 1998 🏛 IWA Publishing 🌐 English ⚖ 845 KB

[IEEE Comput. Soc 5th International Work

[IEEE Comput. Soc 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - Geneva, Switzerland (1-3 April 1997)] Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems - VERDICT-a tool for model-based verification of real-time logic process controllers

✍ Kowalewski, S.; Treseler, H. 📂 Article 📅 1997 🏛 IEEE Comput. Soc ⚖ 416 KB