Programmable Electronic System Analysis Technique in Safety Critical Applications.

Meine Jochum Peter van der Meulen, Tor Stlhane, B. Cole

Browse the full SAFECOMP paper archive.