Login / Signup

Consistency Checking of Concurrent Models for Scenario-Based Specifications.

Xuandong LiJun HuLei BuJianhua ZhaoGuoliang Zheng
Published in: SDL Forum (2005)
Keyphrases
  • consistency checking
  • query answering
  • conceptual models
  • data sets
  • computer vision
  • knowledge management
  • incomplete information
  • finite state machines