Login / Signup
A New Rigorous Approach for Modelling and Refining Concurrent Behaviour in JSD Specifications.
Julian Rose
Published in:
Struct. Program. (1992)
Keyphrases
</>
high level
formal specification
mathematical foundations
artificial intelligence
search engine
user behaviour
human behaviour