Publications of Benha University on Google Scholar: Automatic code generation from verified timed automata model. |
| Title: | Automatic code generation from verified timed automata model. |
| Authors: | A Ayoub, AM Wahba, AM Salem, M Taher, MA Sheirah |
| Year: | 2009 |
| Keywords: | Not Available |
| Journal/Conference: | IADIS AC ( |
| Volume: | Not Available |
| Issue: | 1 |
| Pages: | 243-250 |
| Publisher: | IADIS AC (1), 243-250 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:hC7cP41nSMkC |
| Citations: | 1 |
| Paper Link: | Not Available |
| Full paper | Not Available |