Incremental methods for checking real-time consistency

Thierry Jéron, Nicolas Markey, David Mentré +2

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. W…