Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A refinement repair algorithm based on refinement game for KMTS models - MaRDI portal

A refinement repair algorithm based on refinement game for KMTS models

From MaRDI portal

Publication:1784789

Jump to:navigation, search

DOI10.1007/978-3-319-49815-7_10zbMath1396.68033OpenAlexW2552116672MaRDI QIDQ1784789

Aline Andrade, Efraim Machado

Publication date: 27 September 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-49815-7_10

zbMATH Keywords

partial information model refinement model repair KMTS refinement game

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A refinement repair algorithm based on refinement game for KMTS models

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1784789&oldid=14136604"