Towards a More Reliable and Efficient Development Workflow: A framework for Transforming Textual Requirements into Formal Models
Year: 2025
Type: conference-paper
Authors: Touam, Mohamed-Achraf, Ameur-Boulifa, Rabéa, Patricia, Guitton-Ouhamou
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W7034705500
FWCI:
Cites:
Cited by:
Related to:
