Publikační výsledky

• 2025

  VACULOVIČ, S.; ARM, J. Formal specification of control system design in industrial domain. In Proceedings I of the 31st Conference STUDENT EEICT 2025. Brno: Brno University of Technology, Faculty of Electrical Engineering and Communication, 2025. p. 336-340. ISBN: 978-80-214-6321-9.
  Detail

*) Citace se generují jednou za 24 hodin.