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

Fault tolerant sensor network using formal method Event-B

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:
NASSAN, Alhaj Ali Ammar, Bronislav CHRAMCOV, Roman JAŠEK, Rasin KATTA a Said KRAYEM. Fault tolerant sensor network using formal method Event-B. In: Lecture Notes in Networks and Systems [online]. online: Springer Science and Business Media Deutschland GmbH, 2021, s. 317-330. [cit. 2022-12-03]. ISSN 2367-3370. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-030-77442-4_27.

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