Comparative Conformance Cases for Monitoring Multiple Implementations of Critical Requirements.

Janusz Grski, Aleksander Jarzebowicz, Jakub Miler

Browse the full SAFECOMP paper archive.