Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Kratochvíla, Tomáš"'
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sani
Externí odkaz:
http://arxiv.org/abs/1510.02669
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.