FramewORk for embedded system verification: (competition contribution)

Pablo Gonzalez-De-Aledo, Pablo Sanchez

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

8 Citations (Scopus)

Fingerprint Dive into the research topics of 'FramewORk for embedded system verification: (competition contribution)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science