相关推荐

XYZ/E语言及其实现

  • 作者:高永祥
  • 出版社:中国科学院
  • 出版年:1996

Hybrid Systems in XYZ/E

  • 作者:闫安
  • 出版社:中国科学院
  • 出版年:1997

ESTELLE到XYZ/E的翻译

  • 作者:同关山
  • 出版社:中国科学院
  • 出版年:1993

XYZ/RE实时系统的设计、描述与验证

  • 作者:金伟
  • 出版社:中国科学院
  • 出版年:1993

基于XYZ/E重构实时操作系统内核SZRTOS

  • 作者:郭亮
  • 出版社:中国科学院
  • 出版年:2001