Mohamed Wassim Trojet
List of publications from the
DBLP Bibliography Server
-
FAQ
Coauthor Index
- Ask others: ACM
DL
/
Guide
-
CiteSeer
-
CSB
-
Google
-
MSN
-
Yahoo
2008
1
Mohamed Wassim Trojet,
Maâmar El-Amine Hamri
,
Claudia S. Frydman
: Integrating Z in DEVS : a case study Lift Control System.
Software Engineering Research and Practice 2008
: 437-443
Coauthor
Index
1
Claudia S. Frydman
[
1
]
2
Maâmar El-Amine Hamri
[
1
]
Copyright ©
Sun May 17 03:24:02 2009 by
Michael Ley
(
ley@uni-trier.de
)
