|
Search the dblp DataBase
Ahmed Hammad:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu
From a B Specification to UML StateChart Diagrams. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:511-522 [Conf]
- Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad
Java Card Code Generation from B Specifications. [Citation Graph (0, 0)][DBLP] ICFEM, 2003, pp:306-318 [Conf]
Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. [Citation Graph (, )][DBLP]
Verification of Real-Time Systems: Application to the Transportation Domain. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|