Login / Signup

Reduction of Interrupt Handler Executions for Model Checking Embedded Software.

Bastian SchlichThomas NollJörg BrauerLucas Brutschy
Published in: Haifa Verification Conference (2009)
Keyphrases