9 research outputs found
The 1st Verified Software Competition, Extended Experience Report
Get PDFWe, the organizers and participants, report our experiences
from the 1st Veried Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conferenc
The 1st Verified Software Competition, Extended Experience Report
Get PDFWe, the organizers and participants, report our experiences
from the 1st Veried Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conferenc
The influence of highly automated driving on the self-perception of drivers in the context of Conduct-by-Wire
No full textThe 1st Verified Software Competition, Extended Experience Report
No full textWe, the organizers and participants, report our experiences
from the 1st Veried Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conferenc
The 1st Verified Software Competition, Extended Experience Report
No full textWe, the organizers and participants, report our experiences
from the 1st Veried Software Competition, held in August 2010 in Edinburgh
at the VSTTE 2010 conferenc
Dislocation-based interpretation on the effect of the loading frequency on the fatigue properties of JIS S15C low carbon steel
No full text
