International Standards and Conformity Assessment for all electrical, electronic and related technologies

SC 65A

System aspects

 
export to xls file

PT 61508-3-2 Project Leader & Members

Project Leader
National

Committee
Mr Peter Bernard Ladkin
 DE
Member
sort down
sort upsort down
National

Committee
Mr Charles DavenportUS
Mr Daniel GrivicicAU
Mr Daniel KästnerDE
Mr Dejan NickovicAT
Mr Ron PierceGB
Mr Bertrand RICQUEFR
Mr Wenze XiongCN

Title & Task

PT 61508-3-2

Using formal methods in the development and assurance of software

 

To formulate guidance for the use of formal/mathematical methods at the Assurance points in software development