Specifying Life Cycle Requirements in a Natural-like Language and ptLTL.

Dominik Franke, Stefan Hempel, Stefan Kowalewski

Browse the full ICST paper archive.