1
Julkaistu 2007
Sisällysluettelo: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2005
Sisällysluettelo: ... of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...
Hae kokoteksti
Elektroninen E-kirja