STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS

被引：2833
|
作者：
HAREL, D [1 ]
机构：
[1] WEIZMANN INST SCI,DEPT APPL MATH,IL-76100 REHOVOT,ISRAEL
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1987年 / 8卷 / 03期
关键词：
D O I：
10.1016/0167-6423(87)90035-9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：231 / &
相关论文
共 50 条
12345