Proceedings of FMSP ...

Front Cover
Association for Computing Machinery, 1998 - Computer software
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Property Specification Patterns for FiniteState Verification
7
Experiences in Verifying Parallel Simulation Algorithms
16
Control Systems
24
Copyright

10 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information