Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems.

Jean-Marc Zeippen, Eric Dubois, Philippe Du Bois

Browse the full ISORC paper archive.