Technische
            Universität Braunschweig
  • Homepage
  • Team
  • Research
    • Group Saidi
    • Group Jukan
    • Group Gomez
  • Teaching
    • Courses
    • Student research
    • Seminar topics
    • Incoming Students
  • Job offers
  • News
    • DE
    • EN
Logo Institut für Datentechnik und Kommunikationsnetze der TU Braunschweig
  • Temporal Logics for Real-Time System Specification
    • Literatur/Dokumentation

Temporal Logics for Real-Time System Specification


The specification of real-time systems is often supported by formal methods. Temporal logics allow the specification of system behavior in terms of logical formulars.

In this seminar talk, the principles of temporal logics and criteria for assessing the capabilities of temporal logics will be presented

Literatur/Dokumentation

  • [1] P. Bellini et al.: "Temporal logics for the real-time system specification." ACM Computing Surveys (CSUR) 32.1 (2000): 12-42.

Contact

Institute of Computer and Network Engineering
Hans-Sommer-Street 66
38106 Braunschweig
Phone: +49 (0)531 391-3734
Fax: +49 (0)531 391-4587
sekretariat[[a]]ida.ing.tu-bs.de

Office hours:

Mon: 
-
Tue:   
10:30-12:00
Wed:   
10:30-12:00
Thu: 
10:30-12:00
Fri:
-
© Technische Universität Braunschweig
Legal notice / disclaimer Data Privacy Policy