×

找到8个文档(结果1-8)

使用UPPAAL对连续动力系统进行离散化。 (英语) Zbl 1498.68142号

Katoen,Joost-Pieter(编辑)等,建模教育,测试教育,信任教育。在埃德·布林克斯马60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10500297-315(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

定时P自动机。 (英语) Zbl 1347.68127号

Ciobanu,Gabriel(编辑),《第二届膜计算和生物启发过程计算国际会议论文集》(MeCBIC 2008),2008年9月3日至4日,罗马尼亚伊阿什。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记227,21-36(2009)。
MSC公司:2005年第68季度 2010年第68季度 65年第68季度 92D40型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查生物振荡器。 (英语) Zbl 1283.92008年

尼古拉·卡纳塔(编辑)等人,《第二次研讨会论文集——从生物学到并发性再到并发性(FBTC 2008)》,冰岛雷克雅未克,2008年7月12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》229,第1期,41-58页(2009年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时P自动机。 (英语) Zbl 1221.68114号

乔巴努,加布里埃尔(编辑),MeCBIC 2008。第二届膜计算和生物启发过程计算国际会议。论文基于2008年9月3日至4日在罗马尼亚伊阿什伊举行的会议上的发言。Iaši:“AI.i.Cuza”大学,“A.Myller”研讨会。53-67 (2008).
MSC公司:65年第68季度 2005年第68季度 92D40型
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

全部的 前3名

主字段

全部的 前3名

软件