Abstract
We present work towards a compositional design approach that will lead designers to develop safe reactive systems. To this end, we extend the theory of I/O-automata that is widely used for modellin...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have