登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于Event-B语言的实时系统时间属性分析与建模方法研究
出版社：中国科学技术大学
出版年：2022
作者：姚袭欣
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Event-B建模 :系统和软件工程
  • 作者：阿布瑞尔
  • ISBN：9787115508997
  • 出版社：人民邮电出版社
  • 出版年：2019
...

基于时间模型的实时系统测试方法研究
  • 作者：陈伟
  • 出版社：中国科学院
  • 出版年：2006
...

现场总线控制系统实时建模、分析与调度方法的研究
  • 作者：蒲维
  • 出版年：2003
...

基于显式注意力机制建模的人体属性分析方法
  • 作者：方谨怡
  • 出版社：中国科学院大学人工智能学院
  • 出版年：2023
...

基于MRF模型的油气储层属性随机建模方法研究
  • 作者：刘振峰
  • 出版年：2004
...

Modeling in Event-B : system and software engineering
  • 作者：Abrial,Jean-Raymond.
  • ISBN：9780521895569
  • 出版社：Cambridge ; New York : Cambridge University Press, 2010.
  • 出版年：2010