scientific article; zbMATH DE number 7168175

zbMath1433.68100arXiv1608.03324MaRDI QIDQ5216331

Simon Bliudze, Eduard Baranov, Anastasia Mavridou, Joseph Sifakis

Publication date: 17 February 2020

Full work available at URL: https://arxiv.org/abs/1608.03324

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

SMT-based generation of symbolic automata ⋮ Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ Unnamed Item ⋮ Runtime verification for dynamic architectures

This page was built for publication: