Hassan Diab, Ph.D. - Publications
Affiliations: | 2003 | Université de Sherbrooke, Sherbrooke, Québec, Canada |
Area:
Computer ScienceYear | Citation | Score | |||
---|---|---|---|---|---|
2010 | Diab H, Frappier M. B Software Specification Methods. 41-57. DOI: 10.1002/9780470612514.ch3 | 0.479 | |||
2005 | Diab H, Koukane F, Frappier M, St-Denis R. μ |
0.551 | |||
2002 | Diab H, Frappier M, St-Denis R. A formal definition of function points for automated measurement of B specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2495: 483-494. | 0.571 | |||
2001 | Diab H, Frappier M, St. Denis R. Formalizing COSMIC-FFP using ROOM Proceedings of Ieee/Acs International Conference On Computer Systems and Applications, Aiccsa. 2001: 312-318. DOI: 10.1109/AICCSA.2001.934002 | 0.545 | |||
Show low-probability matches. |