Calinescu, Radu orcid.org/0000-0002-2678-9260 and Nunes Rodrigues, Genaína (Accepted: 2023) Goal Controller Synthesis for Self-Adaptive Systems. In: FormaliSE International Conference on Formal Methods in Software Engineering. IEEE (In Press)
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/V026747/1 |
Depositing User: | Pure (York) |
Date Deposited: | 12 Apr 2023 07:50 |
Last Modified: | 25 Feb 2025 00:10 |
Status: | In Press |
Publisher: | IEEE |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:198096 |
Download
Filename: FormaliSE_2023_Camera_ready.pdf
Description: FormaliSE_2023_Camera_ready