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.
Article in Advanced Engineering Informatics (October 2023)
Article in Jurnal Bakti Masyarakat Indonesia (June 2021)
Book chapter (May 2021)