Specification and Generation of Environment for Model Checking of Software Components

被引：0

作者：

Department of Software Engineering, Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Electron. Notes Theor. Comput. Sci. | / 2卷 / 143-154期

关键词：

Automated generation of environment - Behavior protocols - Software components;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用