DMCA

G.: Formalizing safety requirements using controlling automata (2009)

Cached

Download Links

by Zhe Chen , Gilles Motet
Venue:In: Proceedings of the Second International Conference on Dependability (DEPEND’09), IEEE Computer Society
Citations:2 - 2 self