Robustness Analysis of Networked Systems

DOI10.1007/978-3-642-35873-9_15zbMath1426.68186OpenAlexW59508469MaRDI QIDQ2926646

Roopsha Samanta, Swarat Chaudhuri, Jyotirmoy V. Deshmukh

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Synthesizing Non-Vacuous Systems ⋮ Approximate partial order reduction ⋮ Vacuity in synthesis

This page was built for publication: Robustness Analysis of Networked Systems