霍尔格·加斯特 关于内存布局的推理。 (英语) Zbl 1211.68086号 形式方法系统。设计。 37,编号2-3,141-170(2010).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Gast},形式方法系统。设计。37、编号2--3、141-170(2010;Zbl 1211.68086) 全文: DOI程序
拉尔夫·杰弗兹。;康斯坦斯·海特迈尔。;米拉·阿彻(Myla M.Archer)。;伊丽莎白·伦纳德。 使用合成和部分细化对关键系统进行基于模型的构建和验证。 (英语) Zbl 1209.68321号 形式方法系统。设计。 37,编号2-3,265-294(2010).MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.D.Jeffords}等人,《形式方法系统》。设计。37,编号2-3265-294(2010年;Zbl 1209.68321) 全文: DOI程序
李书豪;桑迪·巴拉格尔;亚历山大·戴维;Larsen,Kim G。;布莱恩·尼尔森;普辛斯卡斯·索利乌斯·普辛斯卡斯 使用UPPAAL对实时系统进行基于场景的验证。 (英语) Zbl 1209.68323号 形式方法系统。设计。 37,编号2-3,200-264(2010).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}等人,Form.Methods Syst。设计。37,编号2--3200-264(2010;Zbl 1209.68323) 全文: DOI程序
Jochen Hoenicke公司;雷诺,K.鲁斯坦M。;安德烈亚斯·波德尔斯基;马丁·施瓦夫;托马斯·怀斯 末日计划点数。 (英语) 兹比尔1211.68090 形式方法系统。设计。 37,第2-3号,171-199(2010).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,《形式方法系统》。设计。37,No.2--3,171--199(2010;Zbl 1211.68090) 全文: DOI程序
雷蒙德·布特 无点表达和计算:从量化到时序逻辑。 (英语) Zbl 1211.68080号 形式方法系统。设计。 37,编号2-3,95-140(2010).MSC公司:68号30 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},形式方法系统。设计。37、编号2--3、95-140(2010;Zbl 1211.68080) 全文: DOI程序
安娜·卡瓦尔坎蒂(编辑);亲爱的,丹尼斯(编辑) 特刊:FM2009:第二届世界正式方法大会。根据2009年11月2日至11月6日在荷兰埃因霍温举行的第16届正式方法国际研讨会上的陈述,选出了一些论文。 (英语) Zbl 1215.68011号 形式方法系统。设计。37,第2-3、93-294号(2010年)。 MSC公司:68-06 68号30 60年第68季度 03B70号 00B25型 PDF格式BibTeX公司 XML格式