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

Group by: Item Type | Date | No Grouping

2000 1999 1998

Number of items: 5.

2000

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

1999

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

Preview

Preview

1998

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 Wed May 22 22:45:33 2013 BST.