Proceedings of the 2006 conference on Specification and verification of component-based systems

Optical Component Specifications for Laser-based Systems and Other Modern Optical Systems

Specification, Production, and Testing of Optical Components and Systems

Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Modeling, Simulation, and Verification of Space-based Systems III

Modeling, Simulation, and Verification of Space-based Systems II

Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications

Specification and Measurement of Optical Systems

Specifications on The SIGGRAPH/GSPC Core System

Passive Components and Fiber-based Devices

Optical System Alignment, Tolerancing, and Verification IX

Optical System Alignment, Tolerancing, and Verification XIV

Optical System Alignment, Tolerancing, and Verification VIII

Optical System Alignment, Tolerancing, and Verification XI

Optical System Alignment, Tolerancing, and Verification VI

Optical System Alignment, Tolerancing, and Verification V

Optical System Alignment, Tolerancing, and Verification III

Optical System Alignment, Tolerancing, and Verification VII

Optical System Alignment, Tolerancing, and Verification IV

Optical System Alignment, Tolerancing, and Verification XIII

Optical System Alignment, Tolerancing, and Verification X

Optical System Alignment, Tolerancing, and Verification XII

Language for Specific Purposes
Dahkki: Long

Image Assessment and Specification

Proceedings of the symposium on Testing, analysis, and verification

Proceedings of the 8th international conference on Component-Based Software Engineering

Passive Components and Fiber-Based Devices VII

Passive Components and Fiber-Based Devices VIII

Passive Components and Fiber-based Devices III

Passive Components and Fiber-based Devices V

Passive Components and Fiber-based Devices VI

Passive Components and Fiber-based Devices II

Fiber-based Component Fabrication, Testing, and Connectorization

Passive Components and Fiber-based Devices IV

Proceedings of the Workshop on Domain-Specific Modeling

Proceedings of the 2nd conference on Domain-specific languages

Proceedings of the 2009 Workshop on Component-Based High Performance Computing