A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics
Article in Advanced Engineering Informatics (October 2023)
The most recent citing publications are shown below. View all 20 publications that cite this research output on Dimensions.
PELATIHAN PERANCANGAN ROBOT BERODA DENGAN DETEKTOR TEPI MEJA PADA SEKOLAH SMA TARSISIUS 1 DAN SMA TRI RATNA
Article in Jurnal Bakti Masyarakat Indonesia (June 2021)
SLAM Algorithm: Overview and Evaluation in a Heterogeneous System
Book chapter (May 2021)