A distributed temporal logic framework for the verification and synthesis of reactive systems

Άρθρο Συνεδρίου uoadl:1041877 716 Αναγνώσεις

Πρωτότυπος Τίτλος:
A distributed temporal logic framework for the verification and synthesis of reactive systems
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Andronikos, Theodore
Potikas, Petros M.
Zachos, Stathis
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Πληροφορική
Λέξεις-κλειδιά:
Modal logic, Temporal logic, Theoretical Foundations
Σελίδες (από-έως):
1-9
Το ψηφιακό υλικό του τεκμηρίου δεν είναι διαθέσιμο.