Video
A CLP Approach to Modelling Systems
We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes. A first objective is that the method be broadly applicable. A system can be described in terms…
Publication
Measuring Reliability of Software Products
Publication
Automating Software Failure Reporting
Publication
Can we contain Internet worms?
Publication
Reliability Growth Of Software Products
Publication