Cited By
View all- Päßler JAguado ESilva GTarifa SCorbato CJohnsen E(2022)A Formal Model of Metacontrol in MaudeLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_32(575-596)Online publication date: 17-Oct-2022