243 followers Verification papers @verif_papers Model-based Fault Classification for Automotive Software https://t.co/b3nvXlmp8X 16 Dec 2022 Reply Repost Favourite