Simulation of communications architecture specifications using Prolog.
Wayne CitrinPublished in: SAC (1992)
Keyphrases
- simulation environment
- management system
- expert systems
- knowledge representation
- simulation model
- hardware software
- programming language
- logic programming
- inference engine
- data flow
- mathematical model
- simulation models
- command and control
- real time
- control flow
- hardware implementation
- colored petri nets
- network architecture
- theorem proving
- high level
- neural network