×

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

最新的 引文 关联
汤姆·沃克;阿德琳德·M·乌尔马赫。

基于规则的建模语言中的非线性模式匹配。 （英文） Zbl 1491.92067号

Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12881, 198-214 (2021).
MSC公司：92立方厘米 92C40型 92-08
PDF格式BibTeX公司 XML格式引用
\textit{T.Warnke}和\textit{A.M.Uhrmacher}，莱克特。注释计算。科学。12881198-214（2021年；Zbl 1491.92067）
全文： 内政部
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英文） Zbl 1425.68268号

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
石井裕美

嵌入Haskell中的纯功能计算机代数系统。 （英文） Zbl 1453.68036号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2018年9月17日至21日，法国里尔，中国社会科学院2018年第20届国际研讨会。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11077, 288-303 (2018).
MSC公司：68甲18 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{H.Ishii}，莱克特。注释计算。科学。11077，288--303（2018；Zbl 1453.68036）
全文： 内政部 arXiv公司
JoséN·奥利维拉。

使用无点变换通过计算扩展静态检查。 （英文） Zbl 1250.68093号

Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲座笔记5520，195-251（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；Zbl 1250.68093）
全文： 内政部 链接
圭多·威梅尔;于尔詹斯，Jan

使用突变的安全关键系统的基于规范的测试生成。 （英文） 兹比尔1015.68900

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。2495, 471-482 (2002).
MSC公司：68单位99 68N99型 60年第68季度 68第25页
PDF格式BibTeX公司 XML格式引用
\textit｛G.Wimmel｝和\textit｛J.Jürjens｝，Lect。注释计算。科学。2495471-482（2002年；兹比尔1015.68900）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件