Search results for: Yamine Ait-Ameur
IFIP — The International Federation for Information Processing > Human Error, Safety and Systems Development > Formal Methods and Notations > 61-76
Lecture Notes in Computer Science > Model and Data Engineering > Model Specification and Verification > 200-213
Studies in Computational Intelligence > Software Engineering Research, Management and Applications 2010 > 51-68
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE > Foundations > 704-721
Lecture Notes in Computer Science > Human-Computer Interaction. Interaction Design and Usability > Part 4: Models and Patterns in HCI > 1062-1071
Lecture Notes in Computer Science > Advances in Databases: Concepts, Systems and Applications > Part V: Demonstrations Track > 1119-1122
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2011 Workshops > Ontology Development, Deployment and Interoperability (ODDI) > 444-453
Lecture Notes in Computer Science > Advances in Conceptual Modeling. Recent Developments and New Directions > MORE-BI 2011 - The First International Workshop on Modeling and Reasoning for Business Intelligence > 98-107
Lecture Notes in Computer Science > Database and Expert Systems Applications > Knowledge Processing I > 475-485
Lecture Notes in Computer Science > Advances in Databases and Information Systems > Research Papers > 247-261
IFIP — The International Federation for Information Processing > Building the Information Society > Multimodal Interaction > 415-420
Communications in Computer and Information Science > Leveraging Applications of Formal Methods, Verification and Validation > Tools and Applications in Industrial Software Quality Control > 37-55
IFIP — The International Federation for Information Processing > Human Error, Safety and Systems Development > Formal Methods and Notations > 61-76
Soft Computing > 2017 > 21 > 2 > 369-389