Non-Strict Don't Care Algebras and Specifications.

Egidio Astesiano Maura Cerioli

Published in: TAPSOFT, Vol.1 (1991)

Keyphrases

formal specification
specification language
long term
concurrent systems
health care
spatial reasoning
topological spaces
clifford algebra
distributive lattices
machine learning
temporal reasoning
clinical practice
home care
medical care