发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Functional specification and proof of correctness for time dependent behaviour of reactive systems

Functional specification and proof of correctness for time dependent behaviour of reactive systems

Vangalur S. Alagar; Geetha Ramanathan
  • 作者Vangalur S. Alagar; Geetha Ramanathan
  • 卷第3卷
  • 期第3期
  • 印刷ISSN0934-5043
  • 电子ISSN1433-299X
  • 文件大小1666.62KB
  • 发表时间1991-0709
  • DOI10.1007/bf01245633
  • 页码253-283
← 返回【学霸图书馆】主页