Publication:

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

Date

 
dc.contributor.authorThoen, Filip
dc.contributor.authorCatthoor, Francky
dc.contributor.imecauthorCatthoor, Francky
dc.contributor.orcidimecCatthoor, Francky::0000-0002-3599-8515
dc.date.accessioned2021-10-14T11:43:03Z
dc.date.available2021-10-14T11:43:03Z
dc.date.issued1999
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/3879
dc.title

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems

dc.typeBook
dspace.entity.typePublication
Files
Publication available in collections: