Publications of Benha University on Google Scholar: Technical Area Chairs Program Committee Technical Area Overview Conference Papers AFM: Application of Formal Methods for Design Space Exploration and Refinement |
| Title: | Technical Area Chairs Program Committee Technical Area Overview Conference Papers AFM: Application of Formal Methods for Design Space Exploration and Refinement |
| Authors: | M Sauppe, T Horn, E Markert, U Heinkel, HW Sahm, KH Otto, M Hocine, ... |
| Year: | Not Available |
| Keywords: | Not Available |
| Journal/Conference: | Not Available |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | Not Available |
| Publisher: | Not Available |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:70eg2SAEIzsC |
| Citations: | Not Available |
| Paper Link: | Not Available |
| Full paper | Not Available |