Login / Signup
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.
Alessandro Giacalone
Scott A. Smolka
Published in:
IEEE Trans. Software Eng. (1988)
Keyphrases
</>
concurrent systems
user interface
software systems
mathematical model
computer aided
temporal logic
design decisions
simulation environment
simulation tools