An approach to the classification of domain models in support of analogical reuse
SSR '95 Proceedings of the 1995 Symposium on Software reusability
ICOS: an intelligent concurrent object-oriented synthesis methodology for multiprocessor systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
POSE: a parallel object-oriented synthesis environment
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets
Integrated architectural modeling and analysis for high-assurance command and control system design
Annals of Software Engineering
Developing virtual environments for industrial training
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Application of the object-oriented principles for hardware and embedded system design
Integration, the VLSI Journal
Formal Description and Verification of Web Service Composition Based on OOPN
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Computers and Industrial Engineering
A Petri net-based approach to modeling and analysis of component-based distributed real-time systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
SETZ logistics models and system framework for manufacturing and exporting large engineering assets
Journal of Systems and Software
Hi-index | 0.00 |