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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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 . (The full text of this publication is not available from this repository)

Monograph

Bowman, Howard and Faconti, Giorgio and Massink, M. (1999) Towards Integrated Cognitive and Interface Analysis. Technical report. (Full text available)
[img]
Preview
[img]
Preview

Conference or workshop item

Bowman, Howard and Faconti, Giorgio and Massink, M. (2000) Towards Integrated Cognitive and Interface Analysis. In: Proceedings of Formal Methods Elsewhere 2000, Pisa, Italy. (Full text available)
[img]
Preview

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, Jun 03-05, 1998, Abington, England, . (Full text available)
[img]
Preview
[img]
Preview

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: FMICS'98, Third Internatinoal Workshop on Formal Methods for Industrial Crtical Systems. (Full text available)
[img]
Preview

This list was generated on Thu Nov 27 01:45:25 2014 GMT.