Full Description
It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems.
It con centrates on reactive systems, be they software or hardware, or combined computer-embedded systems, including distributed and real-time systems.