Login / Signup
Communicating X-machines: a practical approach for formal and modular specification of large systems.
Petros Kefalas
George Eleftherakis
Evangelos Kehris
Published in:
Inf. Softw. Technol. (2003)
Keyphrases
</>
formal methods
formal specification
management system
reactive systems
learning systems
distributed systems
high level
expert systems
relational databases
digital libraries
programming language
computer systems
case study
decision making
real time
specification language
database