Login / Signup

A Case Study in Refinement-Based Modelling of a Resilient Control System.

Yuliya ProkhorovaElena TroubitsynaLinas Laibinis
Published in: SERENE (2013)
Keyphrases