Joabe Jesus, Augusto Sampaio 0001. Local deadlock analysis of Simulink models based on timed behavioural patterns and theorem proving. Science of Computer Programming, 236:103113, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.