Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.
Jawahar MalhotraRobert M. ShapiroScott A. SmolkaAlessandro GiacalonePublished in: Specification and Verification of Concurrent Systems (1988)
Keyphrases
- concurrent systems
- simulation software
- computer aided
- simulation environment
- case study
- distributed systems
- design tools
- genetic algorithm
- artificial intelligence
- user interface
- building blocks
- design rationale
- mathematical model
- temporal logic
- assessment tool
- simulation tools
- multiagent based simulation
- data sets
- design principles
- design process
- expert systems
- neural network