Systems engineering - formal modelling methods
Krayem Said, Jašek Roman, Chramcov BronislavKniha
Citace v seznamu literatury:
KRAYEM, Said; JAŠEK, Roman a CHRAMCOV, Bronislav. Systems engineering - formal modelling methods. Zlín: Univerzita Tomáše Bati ve Zlíně, 2018. ISBN 978-80-7454-731-7. Dostupné také z: https://digilib.k.utb.cz/handle/10563/41629.