Login / Signup
A Temporal Logic Language for Behaviour Modelling of Information and Expert Systems.
C. S. Tang
Published in:
DS-2 (1986)
Keyphrases
</>
temporal logic
expert systems
model checking
contextual information
temporal information
domain independent
modal logic
specification language
verification method