Past Time LTL Runtime Verification for Microcontroller Binary Code
Published in Lecture notes in computer science • Jan 1, 2011
NobleIDNI2P71W00R22S40
Authors:,,
Thomas Reinbacher
Jörg Bräuer
Martin Horauer
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!