IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Mark Ryan

Department of Computer Science
University of Birmingham
United Kingdom
Research topics: Specification and verification of systems, particularly reactive systems, security systems. Feature integration and feature interaction. Temporal logic and model checking (updated at 2005-09-12)
http://www.cs.bham.ac.uk/~mdr