Engineering safe and secure cyber-physical systems : the specification PEARL approach /: the specification PEARL approach. (2016) - Gumzej, Roman
No abstract available