Login / Signup
Assisting Specification and Consistency-Check of Temporal Requirements for Critical Systems.
Mohamed Ghazel
Ahmed Mekki
Published in:
Software Engineering Research and Practice (2010)
Keyphrases
</>
consistency check
real time systems
computer systems
temporal information
spatio temporal
expert systems
management system
input image
distributed systems
image processing
complex systems
temporal data
application specific
requirements engineering
object recognition
legacy systems
high level