Vol-3436⫷ Vol-3437 ⫸Vol-3438
urn:nbn:de:0074-3437-0


Vol-3437/paper11ASPOCP⫷Vol-3437/paper1GDE⫸Vol-3437/paper2GDE
Anitha MurugesanIsaac Hong WongJoaquín AriasElmer SalazarGopal Gupta 0001Srivatsan VaradarajanJohn RushbyRobin E. BloomfieldRobert J. Stroud

Semantic Analysis of Assurance Cases using s(CASP)