1. Home
  3. Standards development
  5. Technical committees and subcommittees
  7. TC 65
  9. SC 65A
  11. PT 61508-3-2

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 Daniel GrivicicAU
Mr Sam HoldenAU
Mr Daniel KästnerDE
Mr Dejan NickovicAT
Mr Ron PierceGB
Mr Bertrand RICQUEFR
Mr George RutherfordAU
Mr Phil WilliamsGB
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