Publikace UTB
Repozitář publikační činnosti UTB

Using formal methods in distributed system design

Repozitář DSpace/Manakin


Find Full text Export to RefWorks
   

 

Soubory tohoto záznamu

Citace ČSN ISO 690:2011

Citace článku v konferenčním sborníku:
AWWAMA, Emad Eddin, Mohammad KADI, Said KRAYEM, Ivo LAZAR a Ahmad RIHAWI. Using formal methods in distributed system design. In: MATEC Web of Conferences [online]. Agia Pelagia Beach, Crete Island: EDP Sciences, 2017 [cit. 2018-08-17]. ISSN 2261-236X. Dostupné z: https://www.matec-conferences.org/articles/matecconf/abs/2017/39/matecconf_cscc2017_02033/matecconf_cscc2017_02033.html.

Tyto citace vytvořil software a mohou obsahovat chyby. Pro ověření přesnosti si nastudujte příslušnou citační normu nebo příručku.

Související články

Creative Commons Attribution License 4.0 Kromě případů, kde je uvedeno jinak, licence tohoto záznamu je Creative Commons Attribution License 4.0