Behavioral Specification of Real-Time Requirements.

Seyed Morteza Babamir Faezeh Sadat Babamir

Published in: APSEC (2008)

Keyphrases

real time
real time systems
high level
timing constraints
control system
low cost
high speed
application specific
video sequences
requirements specification
software requirements
formal specification
human behavior
vision system
general purpose
hidden markov models
search engine
real world