dblp.uni-trier.dewww.uni-trier.de

Mohammed Bani Younis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
5EEMohammed Bani Younis, Georg Frey: A Formal Method Based Re-Implementation Concept for PLC Programs and Its Application. ETFA 2006: 1340-1347
2005
4EEK. 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
2EEMohammed Bani Younis, Georg Frey: Formalization of PLC programs to sustain reliability. RAM 2004: 613-618
1EEOliver Gabel, Mohammed Bani Younis: Internet based Remote Control and Remote Maintenance with AConML. SMC (1) 2004: 490-495

Coauthor Index

1Georg Frey [2] [3] [4] [5]
2Oliver Gabel [1]
3K. Loeis [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)