Back-Forth Equivalences for Design of Concurrent Systems.

Igor V. Tarasyuk

Published in: LFCS (1997)

Keyphrases

concurrent systems
engineering design
real time
connected components
optimal design
neural network
real world
artificial intelligence
case study
knowledge representation
quality of service
user experience
formal specification
design methodology