Formal Specification of Safety-Critical Software with Z and Real-Time CSP.

Maritta Heisel, Carsten Shl

Browse the full SAFECOMP paper archive.