Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 5.

Bowman, H. and Faconti, G. and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy.

Preview

Bowman, H. and Faconti, G. and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report.

Preview

Preview

Bowman, H. and Faconti, G. 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 . The full text of this publication is not available from this repository.

Bowman, H. and Faconti, G. 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, Jun 03-05, 1998, Abington, England, .

Preview

Preview

Bowman, H. and Faconti, G. and Katoen, J-P. and Latella, D. and Massink, M. (1998) Automatic Verification of a Lip-Synchronisation Algorithm Using UPPAAL - Extended Version. In: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems.

Preview

This list was generated on Sat May 18 19:23:00 2013 BST.