×

找到15个文档（结果1-15）

最新的 引文 关联
孙权;张伟;王超;刘志明

Simulink的基于契约的语义和细化。 （英文） Zbl 1528.68236号

董伟（编辑）等，可靠软件工程。理论、工具和应用。第八届国际研讨会，SETTA 2022，中国北京，2022年10月27日至29日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13649, 134-148 (2022).
MSC公司：60年第68季度 68问题55 93-10 93立方
PDF格式BibTeX公司 XML格式引用
\textit{Q.Sun}等人，Lect。注释计算。科学。13649、134--148（2022年；Zbl 1528.68236）
全文： 内政部
董汝珍;约翰·费伯;柯伟;刘志明

rCOS：定义基于组件的软件架构的含义。 （英文） Zbl 1444.68047号

刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：斯普林格。勒克特。注释计算。科学。8050, 1-66 (2013).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Dong}等人，Lect。注释计算。科学。8050，1-66（2013；Zbl 1444.68047）
全文： 内政部
赵亮;王淑玲;刘志明

基于图形的面向对象Hoare逻辑。 （英文） Zbl 1390.68192号

刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051，374-393（2013）。
MSC公司：68号30 03B70号 68甲19 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Zhao}等人，Lect。注释计算。科学。8051、374--393（2013；Zbl 1390.68192）
全文： 内政部
刘志明;查尔斯·莫里塞特;王淑玲

面向对象程序的机械化求精演算的基于图形的实现。 （英文） Zbl 1325.68066号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527，258-273（2011）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Liu}等人，Lect。注释计算。科学。6527258--273（2011年；Zbl 1325.68066）
全文： 内政部
张苗苗;洪丹凡;刘志明

通过模型检查CTL属性验证线性持续不变量。 （英文） Zbl 1161.68595号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160395-409（2008）。
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Zhang}等人，Lect。注释计算。科学。5160395--409（2008年；Zbl 1161.68595）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件