Early validation of system requirements and design through correctness-by-construction
Year: 2018
Type: article
Source: Journal of Systems and Software
Institutions: Aristotle University of Thessaloniki, Ames Research Center, Stinger Ghaffarian Technologies (United States), Institut national de recherche en sciences et technologies du numérique, Centre Inria de l'Université de Lille, SPIRALS: Self-adaptation for distributed services and large software systems, Verimag, Université Grenoble Alpes
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: European Space Agency
Award: G7906100649
OpenAlex ID: W2883923596