Formally Verified Self-adaptation of an Incubator Digital Twin.

Thomas Wright, Cludio Gomes, Jim Woodcock

Browse the full ISoLA paper archive.