Back to Search Start Over

Verification of an Audio Protocol with Bus Collision Using UPPAAL

Authors :
Bengtsson, J.
Griffioen, W. O. D.
Kristoffersen, K. J.
Larsen, Kim Guldstrand
Source :
Bengtsson, J, Griffioen, W O D, Kristoffersen, K J & Larsen, K G 1996, ' Verification of an Audio Protocol with Bus Collision Using UPPAAL ', Lecture Notes in Computer Science, vol. No. 1102 .
Publication Year :
1996

Details

Language :
English
Database :
OpenAIRE
Journal :
Bengtsson, J, Griffioen, W O D, Kristoffersen, K J & Larsen, K G 1996, ' Verification of an Audio Protocol with Bus Collision Using UPPAAL ', Lecture Notes in Computer Science, vol. No. 1102 .
Accession number :
edsair.dedup.wf.001..97450e672960aa4dc7fdea01dd9f7d1d

Tools

Authors Abstract Subjects Details