0038-0644

Software - Practice and Experience (SPE) - Issue 289 论文列表

点击这里查看 Software - Practice and Experience 的JCR分区、影响因子等信息
卷期号: Issue 289
发布时间:
卷期年份: 1999
卷期官网:
本期论文列表
A Viable System Structure for Large-Scale Software Systems.

Effectively Exploiting Indirect Jumps.

An Architecture for Tuple-Based Coordination of Multi-Agent Systems.

A Proxy Approach to e-Mail Security.

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs.