Telecharger Cours

Scenario automata: theory and applications

In this thesis, we will consider the synthesis of HMSCs. A very natural way to syn- thesize abstract machine models from HMSCs is by projection ...



Download