Statistics
Publications
11
Citations
216
H-Index
10
Active since
2003
Affiliations
Mohammed Bani Younis is an author at University of Kaiserslautern specializing in formal methods, computer science, and engineering.
Publications per year
2003–2022
11
11
Formalization of existing PLC Programs: A Survey
Mohammed Bani Younis, Georg Frey · 2003 · 75 citations
Visualization of PLC programs using XML
Mohammed Bani Younis, Georg Frey · 2004 · 22 citations
Formalization of PLC programs to sustain reliability
Mohammed Bani Younis, Georg Frey · 2005 · 16 citations
1–5 of 11