Title
Automatic code generation from verified timed automata model
Year
Venue
Field
2009
IADIS AC (1)
Programming language,Computer science,Automaton,Code generation,Timed automaton
DocType
Citations 
PageRank 
Conference
1
0.44
References 
Authors
1
5
Name
Order
Citations
PageRank
Anaheed Ayoub11048.15
Ayman M. Wahba2649.98
Ashraf M. Salem3356.53
Mohamed Taher45411.79
M SHEIRAH5107.35