文章基本信息
- 标题：Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems
- 作者：M.I. Capel Tuñón ; K. Benghazi Akhlaki ; J.A. Holgado Terriza 等
- 期刊名称：International Journal of Information Technology
- 印刷版ISSN：1305-239X
- 电子版ISSN：1305-2403
- 出版年度：2006
- 卷号：2
- 期号：02
- 出版社：World Enformatika Society
- 关键词：CSP+T; formal software specification; processalgebras; real-time systems; Unified Modelling Language.
Loading...
