 | 2006 |
|---|
| 5 |       | Mohammed Bani Younis,
Georg Frey:
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application.
ETFA 2006: 1340-1347 |
| 2005 |
|---|
| 4 | | K. Loeis,
Mohammed Bani Younis,
Georg Frey:
Application of symbolic and bounded model checking to the verification of logic control systems.
ETFA 2005 |
| 2004 |
|---|
| 3 |  | Georg Frey,
Mohammed Bani Younis:
A Re-Engineering Approach for PLC Programs using Finite Automata and UML.
IRI 2004: 24-29 |
| 2 | | Mohammed Bani Younis,
Georg Frey:
Formalization of PLC programs to sustain reliability.
RAM 2004: 613-618 |
| 1 | | Oliver Gabel,
Mohammed Bani Younis:
Internet based Remote Control and Remote Maintenance with AConML.
SMC (1) 2004: 490-495 |
