Proceedings of the 8th international workshop on Specification and verification of component-based systems
| Формат: | Цахим Цахим ном |
|---|---|
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Association for Computing Machinery (ACM),
8/25/09
|
| Нөхцлүүд: | |
| Онлайн хандалт: | Full text available on Research4Life (ACM) |
Ижил төстэй зүйлс
Proceedings of the 2006 conference on Specification and verification of component-based systems
Proceedings of the 2005 conference on Specification and verification of component-based systems
Optical Specifications: Components and Systems
Contemporary Optical Systems and Components Specifications
Proceedings of the 8th International Workshop on Software Specification and Design
Optical Component Specifications for Laser-based Systems and Other Modern Optical Systems
Specification, Production, and Testing of Optical Components and Systems
Proceedings of the 8th international conference on Component-Based Software Engineering
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
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 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the International Workshop on Domain-Specific Modeling
Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Proceedings of the 10th International Workshop on Software Specification and Design
Proceedings of the 6th international workshop on Software specification and design
Proceedings of the 7th international workshop on Software specification and design
Proceedings of the 9th international workshop on Software specification and design
Proceedings of the 5th international workshop on Software specification and design
Proceedings of the Workshop on Domain-Specific Modeling
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
Proceedings of the 14th Workshop on Domain-Specific Modeling
Proceedings of the 10th Workshop on Domain-Specific Modeling
Specification and Measurement of Optical Systems
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems
Proceedings of the 2009 Workshop on Component-Based High Performance Computing
Proceedings of the 4th workshop on Domain-specific aspect languages
Proceedings of the 2012 workshop on Domain-specific modeling
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 8th ACM SIGSPATIAL International Workshop on Location-Based Social Networks
Proceedings of the 8th international Workshop on Sensor-Based Activity Recognition and Artificial Intelligence