Login / Signup

Blending Object-Z and Timed CSP: An Introduction to TCOZ.

Brendan P. MahonyJin Song Dong
Published in: ICSE (1998)
Keyphrases
  • constraint satisfaction problems
  • d objects
  • complex objects
  • object model
  • petri net
  • constraint satisfaction
  • arc consistency
  • spatial relationships
  • deformable objects