presented at event 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Mathematics Mathematics, Applied Physical Sciences Science & Technology Technology abstraction dependability errors failures faults formal analysis judgement occurrence nets