C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automatic code generation from verified timed automata model.
Anaheed Ayoub
Ayman M. Wahba
Ashraf M. Salem
Mohamed Taher
Mohamed A. Sheirah
Published in:
IADIS AC (1) (2009)
Keyphrases
</>
high level
probabilistic model
probability distribution
artificial intelligence
user interface
machine learning
decision making
data model