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

Dettagli Bibliografici
Natura:	Elettronico Libro
Lingua:	English
Pubblicazione:	Association for Computing Machinery (ACM), 8/25/09
Soggetti:	Conference papers and proceedings.
Accesso online:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

Documenti analoghi

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

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

Specification, Verification and Design Languages, FDL, Forum on

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

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 International Workshop on Domain-Specific Modeling

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

Proceedings of the 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 6th International Workshop on Verification and Monitoring at Runtime Execution

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

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

Runtime Verification
Pubblicazione: (2013)

Runtime Verification
Pubblicazione: (2013)

Specifications.
di: Edwards, H. Griffith
Pubblicazione: (1961)

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

2010 IEEE 8th Symposium on Application Specific Processors (SASP)

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

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis