Towards Automatic Generation of Formal Scenarios Specifications from Real-Time Reactive Systems Requirements Written in NL.

Olga Ormandjieva, Ishrar Hussain

Browse the full PDPTA paper archive.