Search results for: Leila Jemni Ben Ayed
Computer Applications in Engineering Education > 24 > 6 > 951 - 966
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Established Formalisms and Standards > 308-322
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > 102-107
Lecture Notes in Business Information Processing > Enterprise Information Systems > Information Systems Analysis and Specification > 615-626