Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 5.
Article
| Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip Synchronisation Protocol using UPPAAL. Formal Aspects of Computing, 10 (5-6). pp. 550-575. ISSN 1433-299X. (doi:https://doi.org/10.1007/s001650050032) (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) |
Monograph
| Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (Full text available) |
|
Conference or workshop item
| Bowman, Howard and Faconti, Giorgio and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Bowman, Howard, ed. Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. Elsevier Science pp. 97-112. (doi:https://doi.org/10.1016/S1571-0661(04)80896-X) (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Massink, M. (1998) Specification and Verification of Media Constraints using UPPAAL. In: 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98. Eurographics Series. Springer-Verlag pp. 261-277. ISBN 3-211-83212-2. (Full text available) |
|
| Bowman, Howard and Faconti, Giorgio and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: Groote, J.F. and Luttik, B. and van Warnel, J., eds. FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. CWI pp. 97-124. ISBN 90-6196-480-6. (Full text available) |
|
