Browse by Person (creator, editor, contributor, etc.)
Number of items: 5.
Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M.
Automatic Verification of a Lip Synchronisation Protocol using UPPAAL.
Formal Aspects of Computing, 10
ISSN 1433-299X .
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
Bowman, Howard and Faconti, Giorgio and Massink, M.
Specification and Verification of Media Constraints using UPPAAL.
In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Jun 03-05, 1998, Abington, England, .
(Full text available)