Glück, Roland


Bisimulations and Model Refinements
Glück, Roland

A frequent task in system design is to refine a transition system, i.e. to remove undesired transitions. This task can be hard if one is confronted wi..

ISBN:
978-3-86386-836-9

29,00 € Preis ohne Steuer 27,62 €

Zeige 1 bis 1 von 1 (1 Seite(n))