Zobrazeno 1 - 4
of 4
pro vyhledávání: '"De Angelis, Francesco Luca"'
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.
Publikováno v:
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p589-604, 16p
Publikováno v:
Electronics (2079-9292); 2017, Vol. 6 Issue 1, p17, 22p
Publikováno v:
Coordination Models & Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings; 2015, p35-48, 14p