DMCA

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems (1997)

Cached

Download Links

by Philippe Palanque , Rémi Bastide , Fabio Paternò , Avenue Edouard Belin
Citations:10 - 2 self