Specifying safety-critical systems with a decidable duration logic
Under an Elsevier user license
open archive
Keywords
Safety-critical systems
Punctuality timing constraints
Temporal logics
Decidability
Tableau systems
Cited by (0)
Copyright © 2013 Elsevier B.V. All rights reserved.