投影时序逻辑相关论文
随着Web服务应用的迅速发展,安全问题已成为制约其实际应用的障碍之一,而Web服务提供方的安全问题尤为重要。本文首先简要的介绍了......
Petri网是集图形化表示和数学理论于一体的建模语言，可以描述常见的顺序、选择、循环和并行等行为，广泛应用于并发分布式系统的建模......
随着计算机和互联网技术的快速发展，各种软、硬件系统已经广泛渗透到人类生产和生活中，如何保证计算机系统严格按照人类设计的方式进......
实时系统经常被用在飞机、军事以及交通控制等安全攸关的领域，因此保证其正确性和安全性至关重要。建模、仿真及验证语言（MSVL）是一种......
