Safety versus Security in the Quality Calculus
From MaRDI portal
Publication:2842642
DOI10.1007/978-3-642-39698-4_18zbMath1390.68484WikidataQ51540663 ScholiaQ51540663MaRDI QIDQ2842642
Hanne Riis Nielson, Flemming Nielson
Publication date: 16 August 2013
Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_18
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems, A calculus of quality for robustness against unreliable communication
Cites Work