Early modeling and validation of timed system requirements using Timed Use Case Maps.

Jameleddine Hassine

Published in: Requir. Eng. (2015)

Keyphrases

petri net
colored petri nets
timed automata
requirements elicitation
discrete event
model checking
model validation
data sets
modeling framework
user requirements
learning environment
real time systems
case study
requirements analysis
image processing
artificial intelligence
information retrieval
real time