DMCA

Specification and Automated Verification of RealTime Behaviour --- A Case Study (1995)

by A Case Study , Jørgen H. Andersen , Jørgen H. Andersen , Carsten H. Kristensen , Carsten H. Kristensen , Arne Skou , Arne Skou
Venue:Appears in 3rd IFAC/IFIP workshop on Algoritms and Architectures for Real-Time Control, AARTC '95 Proceedings
Citations:6 - 0 self