×

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

最新的 引文 关联
阿图尔·尼维亚多姆斯基;沃伊切赫，彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼

实现web服务的自动组合：基于SAT的抽象场景的具体化。 （英语） Zbl 1254.68051号

芬丹。通知。 120，第2期，181-203（2012）.
MSC公司：68英里11 60年第68季度 68兰特 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{A.Niewiadomski}等人，Fundam。通知。120，第2号，181--203（2012；Zbl 1254.68051）
全文： 内政部
米夏·克纳皮克;阿图尔·尼维亚多姆斯基;沃伊切赫，彭泽克;阿加塔·波罗拉;马西耶·斯兹雷特;安德烈·兹布雷泽兹尼

使用VerICS检查参数化模型。 （英语） Zbl 1312.68134号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型学报》IV。柏林：施普林格出版社（ISBN 978-3-642-18221-1/pbk）。计算机科学课程讲稿6550。《Subline期刊》，98-120（2010）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Knapik}等人，Lect。注释计算。科学。655098-120（2010年；Zbl 1312.68134）
全文： 内政部
阿图尔·尼维亚多姆斯基;沃伊切赫，彭泽克;马西耶·斯兹雷特

面向检查UML状态机的参数可达性。 （英语） Zbl 1274.68199号

Pnueli，Amir（编辑）等人，《系统信息学的观点》。2009年6月15日至19日，俄罗斯新西伯利亚，第七届安德烈·埃尔肖夫国际纪念大会，PSI 2009。修订论文。柏林：施普林格出版社（ISBN 978-3-642-11485-4/pbk）。计算机科学课堂讲稿5947319-330（2010）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Niewiadomski}等人，Lect。注释计算。科学。5947319-330（2010年；Zbl 1274.68199）
全文： 内政部
马格达莱娜·卡普扎克;纳比亚·埃克（Nabiałek），沃伊切赫（Wojciech）;阿图尔·尼维亚多姆斯基;沃伊切赫，彭泽克;Półrola，阿加塔;马西耶·斯兹雷特;沃纳、博埃纳;安德烈·兹布雷泽兹尼

VERICS 2007–用于知识和实时的模型检查器。 （英语） Zbl 1167.68381号

芬丹。通知。 85，编号1-4，313-328（2008）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Kacprzak}等人，Fundam。通知。85，编号1--4313--328（2008；Zbl 1167.68381）

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件