Login / Signup
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.
Shinichi Honiden
Naoshi Uchihira
Kazunori Matsumoto
Kazuo Matsumura
Masahiko Arai
Published in:
Real Time Syst. (1989)
Keyphrases
</>
real time systems
automated reasoning
embedded systems
real time embedded
case study
theorem proving
knowledge representation
neural network
artificial intelligence
multi agent systems
probabilistic model
distributed systems
mission critical
architectural model