Research output

  1. Model Checking, the Technology and the Tools

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  3. Verifying FreeRTOS; a feasibility study

    Research output: Book/ReportReportProfessional

View all (11) »

ID: 189120