Robuta

https://arxiv.org/abs/1510.02669 [1510.02669] Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) Abstract page for arXiv paper 1510.02669: Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) avionics systems151002669sanity https://arxiv.org/abs/1712.02669 [1712.02669] Which axioms of set theory are intrinsically justified? Abstract page for arXiv paper 1712.02669: Which axioms of set theory are intrinsically justified? axioms of set theory171202669justified