Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Reiya Noguchi"'
Publikováno v:
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
FORMATS 2020-18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Lecture Notes in Computer Science ISBN: 9783030576271
FORMATS
Requirements engineering is a key phase in the development process. Ensuring that requirements are consistent is essential so that they do not conflict and admit implementations. We consider the formal verification of rt-consistency, which imposes th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a4783e4b1206ab08d38d92483068ec2
https://hal.inria.fr/hal-02894772
https://hal.inria.fr/hal-02894772