维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

1篇 您的检索式：作者名="Oumar Maiga"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	Formal verification with HiLLS-specified models:A further step in multi-analysis modeling of complex systems显示文摘The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods(such as simulation,formal methods,enactment,...)that can be performed to derive various properties of this system.The High-Level Language for Systems Specification(HiLLS)has recently been introduced as a graphical language for discrete event simulation,with potential for other types of analysis,like enactment for rapid system prototyping.HiLLS defines an automata language that also opens the way to formal verification.This paper provides the building blocks for such a feature.That way,a unique model can be used not only to perform both simulation and enactment experiments but also to allow the logical analysis of properties without running any experiment.Therefore,it saves from the effort of building three different analysis-specific models and the need to align them semantically.	Kehinde G.Samuel Oumar Maiga Mamadou K.Traor′e	2019	International Journal of Modeling, Simulation, and Scientific Computing2019，10，5：	0

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费