Skip to content

A Model-Driven Approach for Early Verification and Validation of Embedded Systems.

Vincenzo Stoico

VenueAMODELS
Year2021
ProceedingsMoDELS (Companion)

Browse the full MODELS paper archive.