1 computer-science-image-processing-"https:"-"Gustave-Roussy-" PhD positions at Newcastle University

PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification

Newcastle University | United Kingdom | about 2 months ago

techniques in the safety analysis of software components of a new dialysis machine , Science of Computer Programming, Volume-175, 2019, p17-34 [4] MC/DC . Modified Condition/Decision Coverage criterion. [5