Analysing sanity of requirements for avionics systems
From MaRDI portal
Publication:282095
DOI10.1007/s00165-015-0348-9zbMath1335.68131arXiv1510.02669MaRDI QIDQ282095
Jan Beran, Jiří Barnat, Petr Bauch, Nikola Beneš, Luboš Brim, Tomáš Kratochvíla
Publication date: 12 May 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1510.02669
93C95: Application models in control theory
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software