Login / Signup

Nested Constraints and Application Conditions for High-Level Structures.

Annegret HabelKarl-Heinz Pennemann
Published in: Formal Methods in Software and Systems Modeling (2005)
Keyphrases
  • high level
  • real time
  • low level
  • expert systems
  • decision support
  • database
  • neural network
  • natural language processing
  • sufficient conditions
  • higher level
  • geometric constraints