登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
EISBN：9783031684166
PISBN：9783031684159
出版社：Springer Nature
出版时间：2024
作者：Jane Hillston,Sadegh Soudjani,Masaki Waga
主题词：BISAC Category: Computers,Computer Science,Mathematics,Applied,Computers,Hardware,General,Computers,Software Development & Engineering,General,Computers,Artificial Intelligence,General
学科：TP309 ( T 工业技术,TP 自动化技术、计算机技术,TP3 计算技术、计算机技术,TP30 一般性问题,TP309 安全保密 )
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Laure Petrucci,Jeremy Sproston
  • EISBN：9783031426261
  • 出版社：Springer Nature
  • 出版时间：2023
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Krishnendu Chatterjee,Thomas A. Henzinger
  • EISBN：9783642152979
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2010
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Nathalie Bertrand,Nils Jansen
  • EISBN：9783030576288
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Étienne André,Mariëlle Stoelinga
  • EISBN：9783030296629
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Eugene Asarin,Patricia Bouyer
  • EISBN：9783540450313
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Formal Modeling and Analysis of Timed Systems
  • 作者：Uli Fahrenberg,Stavros Tripakis
  • EISBN：9783642243103
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011