Skip to main navigation Skip to search Skip to main content

Integrating Model checking and knowledge dynamics for system verification

  • Smartlink Solutions Pty Ltd

Project: Research

Project Details

StatusFinished
Effective start/end date14/02/03 → 30/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.