Computer software - Verification.
概要
作品: | 40 作品在 21 項出版品 21 種語言 |
---|
書目資訊
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Verification: theory and practice = essays delivered to Zohar Manna on the occasion of his 64th birthday /
by:
(書目-語言資料,印刷品)
Modular compiler verification = a refinement-algebraic approach advocating stepwise abstraction /
by:
(書目-語言資料,印刷品)
Verification and validation in systems engineering = assessing UML/SysML design models /
by:
(書目-語言資料,印刷品)
Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs /
by:
(書目-電子資源)
Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday /
by:
(書目-電子資源)
Practical security properties on commodity computing platforms = the uber extensible micro-hypervisor framework /
by:
(書目-電子資源)
Model checking, synthesis, and learning = essays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
by:
(書目-電子資源)
更多
較少的
主題