View in EDS HTML Full Text PDF Full Text

Correct-by-construction requirement decomposition.

Saved in:

Bibliographic Details
Title:	Correct-by-construction requirement decomposition.
Authors:	Sun, Minghui¹, minghui_sun@nuist.edu.cn, Bakirtzis, Georgios^2,3, Jafarzadeh, Hassan⁴, Fleming, Cody⁵
Source:	Software & Systems Modeling; Feb2026, Vol. 25 Issue 1, p271-286, 16p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	16191366
DOI:	10.1007/s10270-025-01291-4