The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?

David Navarre, Philippe A. Palanque

Browse the full EICS paper archive.