System Analysis, Design, and Development: Concepts, Principles, and Practices (Wiley Series in Systems Engineering and Management)

A system model for formal verification of TLM based transaction properties

SpringSim '07 Proceedings of the 2007 spring simulaiton multiconference - Volume 1

Beyond human factors

CIT'09 Proceedings of the 3rd International Conference on Communications and information technology

Visual knowledge processing techniques: A brief review

Scientific and Technical Information Processing

Ontology based interface design and control methodology for collaborative product development

Computer-Aided Design

Developing an analytical model for planning systems verification, validation and testing processes

Advanced Engineering Informatics