Information Sciences （ISCI） - Volume 30, Issue 2 论文列表
| 点击这里查看 Information Sciences 的JCR分区、影响因子等信息 |
| 卷期号： Volume 30, Issue 2 |
| 发布时间： August 1983 |
| 卷期年份： 1983 |
| 卷期官网： https://www.sciencedirect.com/journal/information-sciences/vol/30/issue/2 |
本期论文列表
A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation
A formal methodology using attributed grammars for multiprocessing-system software development II. Validation
Autonomous navigation for high altitude satellites
Homeostasis in synchronous distributed computation, a formal view