Formal modeling and analysis of timed systems : 9th international conference FORMATS 2011 Aalborg

出版社:Berlin ; New York : Springer, c2011.
ISBN:9783642243097
出版年:2011
作者:FORMATS 2011
资源类型:图书
细分类型:西文文献
相关推荐

Formal modeling and analysis of timed systems : 13th International Conference, FORMATS 2015, Madrid,

  • 作者:FORMATS 2015
  • ISBN:9783319229744
  • 出版社:Cham : Springer, [2015]
  • 出版年:2015

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012, London,

  • 作者:FORMATS 2012
  • ISBN:9783642333644
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Formal modeling and analysis of timed systems : 19th International Conference, FORMATS 2021, Paris,

  • 作者:FORMATS 2021
  • ISBN:9783030850364
  • 出版社:Cham, Switzerland : Springer, 2021.
  • 出版年:2021

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008, Saint Ma

  • 作者:FORMATS 2008
  • ISBN:9783540857778
  • 出版社:Berlin : Springer, c2008.
  • 出版年:2008

Formal modeling and analysis of timed systems : 17th International Conference, FORMATS 2019, Amsterd

  • 作者:FORMATS 2019
  • ISBN:9783030296612
  • 出版社:Cham : Springer, 2019.
  • 出版年:2019

Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec,

  • 作者:FORMATS 2016
  • ISBN:9783319448770
  • 出版社:Switzerland : Springer, 2016.
  • 出版年:2016