Formal Modeling and Analysis of Timed Systems

EISBN:9783642402296
PISBN:9783642402289
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2013
作者:Víctor Braberman,Laurent Fribourg
主题词:Logics and Meanings of Programs,Software Engineering,Probability and Statistics in Computer Science
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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

  • 作者:Eugene Asarin,Patricia Bouyer
  • EISBN:9783540450313
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2006

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

  • 作者:Alessandro Abate,Gilles Geeraerts
  • EISBN:9783319657653
  • 出版社:Springer International Publishing
  • 出版时间:2017

Formal Modeling and Analysis of Timed Systems

  • 作者:Uli Fahrenberg,Stavros Tripakis
  • EISBN:9783642243103
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2011