Login / Signup

Compositional Synthesis of Temporal Fault Trees from State Machines.

Nidhal MahmudMartin WalkerYiannis Papadopoulos
Published in: ARES (2011)
Keyphrases