TBU Publications
Repository of TBU Publications

Fault detection model for multi robotic system 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:
AWWAMA, Emad Eddin, Alhaj Ali Ammar NASSAN, Roman JAŠEK, Bronislav CHRAMCOV, Said KRAYEM a Rasin KATTA. Fault detection model for multi robotic system using formal method Event-B. In: Lecture Notes in Networks and Systems [online]. online: Springer Science and Business Media Deutschland GmbH, 2021, s. 307-316. [cit. 2021-09-25]. ISSN 2367-3370. Dostupné z: https://link.springer.com/chapter/10.1007%2F978-3-030-77442-4_26.

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

Related articles