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