Symposium on Real-Time and Hybrid Systems : essays dedicated to Professor Chaochen Zhou on the occas

出版社:Cham, Switzerland : Springer, 2018.
ISBN:9783030014605
出版年:2018
作者:Jones,Cliff,
资源类型:图书
细分类型:西文文献
相关推荐

Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen

  • 作者:Jones C.B. et al.
  • ISBN:9783540752202
  • 出版社:Berlin ; New York : Springer, c2007.
  • 出版年:2007

Proceedings Real-time Systems Symposium

  • ISBN:0818620048
  • 出版社:0000.00

Real-time Systems Symposium:Proceedings

  • ISBN:0818605669
  • 出版社:0000.00

Proceedings Real-Time Systems Symposium

  • ISBN:0818666005
  • 出版社:Los Alamitos: IEEE Computer Society Press, 1994.
  • 出版年:1994

Real-Time systems

  • 作者:Liu,Jane W. S.
  • ISBN:0130996513
  • 出版社:Upper Saddle River, NJ : Prentice Hall, 2000.
  • 出版年:2000

Real-time systems

  • ISBN:09226443
  • 出版社:Kluwer Academic Publishers
  • 出版年:1989