Proceedings of the 8th international workshop on Specification and verification of component-based systems

Proceedings of the 8th international workshop on Specification and verification of component-based systems

Bibliographic Details
Format:	Electronic Book
Language:	English
Published:	Association for Computing Machinery (ACM), 8/25/09
Subjects:	Conference papers and proceedings.
Online Access:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Similar Items

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

Proceedings of the 2006 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

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

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

Specification, Verification and Design Languages, FDL, Forum on

Specification, Production, and Testing of Optical Components and Systems

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

Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software

Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems

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

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

Proceedings of the First International Workshop on Multimedia Verification

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

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution

Proceedings of the International Workshop on Domain-Specific Modeling

Proceedings of the 5th international workshop on Software specification and design

Proceedings of the 6th international workshop on Software specification and design

Proceedings of the 10th International Workshop on Software Specification and Design

Proceedings of the 9th international workshop on Software specification and design

Proceedings of the 7th international workshop on Software specification and design

Proceedings of the Workshop on Domain-Specific Modeling

Proceedings of the 10th Workshop on Domain-Specific Modeling

Proceedings of the 14th Workshop on Domain-Specific Modeling

Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems

Runtime Verification
Published: (2013)

Runtime Verification
Published: (2013)

Real time clocked based multilevel solar system: implementation and verification
by: Khurshid, Siam Bin, et al.
Published: (2016)

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)

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

2010 11th International Workshop on Microprocessor Test and Verification

2011 12th International Workshop on Microprocessor Test and Verification

2014 15th International Microprocessor Test and Verification Workshop

2013 14th International Workshop on Microprocessor Test and Verification

Microprocessor Test and Verification (MTV), International Workshop on