Doorgaan naar hoofdnavigatie
Doorgaan naar zoeken
Ga verder naar hoofdinhoud
Onderzoeksportaal Eindhoven University of Technology Startpagina
Help en veelgestelde vragen
!!Link opens in a new tab
English
Nederlands
Content zoeken bij Onderzoeksportaal Eindhoven University of Technology
Startpagina
Onderzoekers
Onderzoeksoutput
Organisatie
Activiteiten
Projecten
Prijzen
Pers/Media
Faciliteiten
Datasets
Cursussen
Onderzoeksgebieden
Afstudeerscripties
HaliVer: Deductive Verification and Scheduling Languages Join Forces
Lars B. van den Haak
,
Anton Wijs
, Marieke Huisman
,
Mark van den Brand
Software Engineering and Technology
EAISI
Onderzoeksoutput
:
Werkdocument
›
Preprint
›
Academic
Overzicht
Vingerafdruk
Vingerafdruk
Duik in de onderzoeksthema's van 'HaliVer: Deductive Verification and Scheduling Languages Join Forces'. Samen vormen ze een unieke vingerafdruk.
Sorteer per
Gewicht
Alfabetische volgorde
Computer Science
Annotation
100%
Correctness
50%
Image Processing
25%