Search results
Lecture Notes in Computer Science > Integrated Formal Methods > Session: UML and Statecharts > 386-405
IFIP — The International Federation for Information Processing > Integrity and Internal Control in Information Systems VI > Refereed papers > 143-158
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object and Component Orientation > 440-459
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2010 > Chapter 1: Ontologies, Knowledge Representation and Reasoning > 51-61
Lecture Notes in Computer Science > Models in Software Engineering > W4 – Quality in Modeling > 80-90
Lecture Notes in Computer Science > Models in Software Engineering > Educational Symposium > 375-386
IFIP — The International Federation for Information Processing > Integrity and Internal Control in Information Systems VI > Refereed papers > 143-158
Communications in Computer and Information Science > Computer Science for Environmental Engineering and EcoInformatics > Section 6: Data Processing and Simulation > 287-292