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

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

書目詳細資料
格式:	電子圖書
語言:	English
出版:	Association for Computing Machinery (ACM), 11/10/06
主題:	Conference papers and proceedings.
在線閱讀:	Full text available on Research4Life (ACM)
Classic Catalogue:	View this record in Classic Catalogue

相似書籍

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

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

Optical Specifications: Components and Systems

Contemporary Optical Systems and Components Specifications

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 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 2006 workshop on Testing, analysis, and verification of web services and applications

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

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

Runtime Verification
出版: (2013)

Runtime Verification
出版: (2013)

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

Specifications.
由: Edwards, H. Griffith
出版: (1961)

Passive Components and Fiber-based Devices

Embedded Systems: Design, Analysis and Verification
出版: (2013)

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

Proceedings of the symposium on Testing, analysis, and verification

Computer Aided Verification
出版: (2013)

Computer Aided Verification
出版: (2019)

Computer Aided Verification
出版: (2019)

Computer Aided Verification
出版: (2020)

Computer Aided Verification
出版: (2020)

Computer Aided Verification
出版: (2021)

Computer Aided Verification
出版: (2021)

Computer Aided Verification
出版: (2022)

Computer Aided Verification
出版: (2022)

Computer Aided Verification
出版: (2018)

Computer Aided Verification
出版: (2018)

Design Verification with e
由: Samir Palnitkar

Specification and Measurement of Optical Systems

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

Passive Components and Fiber-Based Devices VIII

Passive Components and Fiber-Based Devices VII

Passive Components and Fiber-based Devices II

Fiber-based Component Fabrication, Testing, and Connectorization

Passive Components and Fiber-based Devices III

Passive Components and Fiber-based Devices IV

Passive Components and Fiber-based Devices V