×
作者ID: 兰诺·凯文最近由“Lano,Kevin”撰写的zbMATH文章
发布日期: 拉诺,K。;凯文·拉诺
编入索引的文档: 17出版物自1991年起
1名编辑贡献
合著者: 9合著者具有10联合出版物
41位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

11出版物有被引用25中的次17文件 引用人 年份
模糊集和剩余逻辑。 兹比尔0763.03030
拉诺,K。
8
1992
近似推理的形式化框架。 兹比尔0791.03030
凯文·拉诺
1992
用于模型转换的基于模型的开发方法。 Zbl 1353.68058号
科拉杜兹·拉希米(Kolahdouz-Rahimi)、谢库夫(Shekoufeh);凯文·拉诺
2
2012
模糊集理论的集合论基础及其应用。 Zbl 0978.03533号
拉诺,K。
2
1992
直觉主义模态逻辑和集合论。 Zbl 0743.03035号
拉诺,K。
2
1991
模型转换验证框架。 Zbl 1328.68128号
凯文·拉诺;T·克拉克。;科拉杜兹·拉希米,S。
2
2015
面向对象的规范案例研究。 Zbl 0827.68072号
2
1994
直觉主义选择集理论。 Zbl 0770.03017号
拉诺,K。
1
1993
融合和同构的语义比较。 Zbl 0979.68021号
拉诺,K。;法国,R。;J.-M.布鲁尔。
1
2000
在结构化时态理论中对UML进行形式化。 Zbl 0991.68039号
拉诺,K。;比卡雷奎,J。
1
1998
VDM\(^{++}\)中的细化、子类型化和子类化。 Zbl 0843.68069号
拉诺,K。;哥德萨克,S。
1
1995
模型转换验证框架。 兹比尔1328.68128
凯文·拉诺;T·克拉克。;科拉杜兹·拉希米,S。
2
2015
用于模型转换的基于模型的开发方法。 Zbl 1353.68058号
科拉杜兹·拉希米(Kolahdouz-Rahimi)、谢库夫(Shekoufeh);凯文·拉诺
2
2012
融合和同构的语义比较。 Zbl 0979.68021号
拉诺,K。;法国,R。;J.-M.布鲁尔。
1
2000
在结构化时态理论中对UML进行形式化。 Zbl 0991.68039号
拉诺,K。;比卡雷奎,J。
1
1998
VDM\(^{++}\)中的细化、子类型化和子类化。 Zbl 0843.68069号
拉诺,K。;哥德萨克,S。
1
1995
面向对象的规范案例研究。 Zbl 0827.68072号
2
1994
直觉主义选择集理论。 Zbl 0770.03017号
拉诺,K。
1
1993
模糊集和剩余逻辑。 Zbl 0763.03030号
拉诺,K。
8
1992
近似推理的形式化框架。 Zbl 0791.03030号
凯文·拉诺
1992
模糊集理论的集合论基础及其应用。 Zbl 0978.03533号
拉诺,K。
2
1992
直觉主义模态逻辑和集合论。 兹伯利0743.03035
拉诺,K。
2
1991

按年份列出的引文