Zobrazeno 1 - 4
of 4
pro vyhledávání: '"K. Karsisto"'
Publikováno v:
PDP
Presents a user-friendly formal method for obtaining comprehensive feedback from the behaviour of a design of a distributed system. The method consists of abstracting and reducing the behaviour and showing the result in a graphical form on a computer
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.