C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Transformation of TOCL temporal properties into OCL.
Mustafa Al-Lail
Antonio Rosales
Hector Cardenas
Lars Hamann
Alfredo Perez
Published in:
MoDELS (Companion) (2022)
Keyphrases
</>
temporal properties
model checking
formal methods
possibility theory
metamodel
temporal logic
test cases