Nr. 60 (1995): RS-60 Specification and Automated Verification of Real-Time Behaviour —A Case Study

Publiceret: 1995-12-30

Artikler