Integrating Model checking and knowledge dynamics for system verification

Project: Research

Project Details

StatusFinished
Effective start/end date14/02/0330/06/06

Collaborative partners

Funding

  • Smartlink Solutions Pty Ltd
  • Australian Research Council
  • Opentec Pty Limited

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.