塞巴斯蒂安·鲍尔。;乌里·法伦贝格;Juhl,Line公司;拉森,金·G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统。 (英语) Zbl 1291.68246号 形式方法系统。设计。 42,第2期,193-220(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,表格方法系统。设计。42,第2号,193--220(2013;Zbl 1291.68246) 全文: DOI程序 arXiv公司 哈尔
李书豪;桑迪·巴拉格;亚历山大·戴维;拉森,金·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程序
帕特里夏·鲍耶;埃德·布林克斯马;拉森,金·G。 多值时间自动机的最优无限调度。 (英语) Zbl 1133.68360号 形式方法系统。设计。 32,第1号,3-23(2008).MSC公司:65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,《形式方法系统》。设计。32,编号1,3--23(2008年;兹bl 1133.68360) 全文: DOI程序 链接
J.I.拉斯穆森。;拉森,K.G。;苏布拉马尼,K。 利用定价时间自动机实现最优调度。 (英语) Zbl 1105.68011号 形式方法系统。设计。 29,第1期,97-114(2006).MSC公司:68平方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.I.Rasmussen}等人,《形式方法系统》。设计。29,第1号,97--114(2006;Zbl 1105.68011) 全文: DOI程序
贝尔曼,G。;拉森,K.G。;安德森,H.R。;Hulgaard,H。;林德·尼尔森,J。 使用可重用性和组合性验证分层状态/事件系统。 (英语) Zbl 1019.68060号 形式方法系统。设计。 21,第2期,225-244(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,《形式方法系统》。设计。21,第2号,225--244(2002;Zbl 1019.68060) 全文: DOI程序
约恩·林德·尼尔森;安徒生、亨利克·雷夫;亨利克·胡尔加德;格德·贝尔曼;科勒克里斯托弗森;拉森,金·G。 使用组合性和依赖性分析验证大型状态/事件系统。 (英语) Zbl 0970.68108号 形式方法系统。设计。 18,第1期,5-23(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Lind Nielsen}等人,《表格方法系统》。设计。18,第1号,第5--23号(2001;Zbl 0970.68108) 全文: DOI程序