|
Search the dblp DataBase
Mohammed Bani Younis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Georg Frey, Mohammed Bani Younis
A Re-Engineering Approach for PLC Programs using Finite Automata and UML. [Citation Graph (0, 0)][DBLP] IRI, 2004, pp:24-29 [Conf]
- Oliver Gabel, Mohammed Bani Younis
Internet based Remote Control and Remote Maintenance with AConML. [Citation Graph (0, 0)][DBLP] SMC (1), 2004, pp:490-495 [Conf]
- Mohammed Bani Younis, Georg Frey
A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. [Citation Graph (0, 0)][DBLP] ETFA, 2006, pp:1340-1347 [Conf]
- K. Loeis, Mohammed Bani Younis, Georg Frey
Application of symbolic and bounded model checking to the verification of logic control systems. [Citation Graph (0, 0)][DBLP] ETFA, 2005, pp:- [Conf]
Formalization of PLC programs to sustain reliability. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|