TBU Publications
Repository of TBU Publications

Fault tolerant sensor network using formal method Event-B

DSpace Repository

Find Full text Export to RefWorks


Files in this item

Files Size Format View

There are no files associated with this item.

ČSN ISO 690:2011 citation

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. 2021-09-25]. ISSN 2367-3370. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-77442-4_27.

These citations are software generated and may contain errors. To verify accuracy, check the appropriate style guide.

Related articles