Verifying FreeRTOS; a feasibility study

Research output: Book/ReportReportProfessional

Original languageEnglish
Place of PublicationDelft
PublisherDelft University of Technology
Number of pages20
VolumeSoftware Engineering Research Group
Publication statusPublished - 2010

Publication series

Name
PublisherDelft University of Technology

Keywords

  • Geen BTA classificatie

Cite this