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
scientific article; zbMATH DE number 6257131 - MaRDI portal

scientific article; zbMATH DE number 6257131

From MaRDI portal

Publication:5747190

Jump to:navigation, search

zbMath1298.68166MaRDI QIDQ5747190

Song Han, Hyong-chol O, Changil Choe

Publication date: 11 February 2014

Full work available at URL: http://serdica-comp.math.bas.bg/index.php/serdicajcomputing/article/view/170/172

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verification genetic algorithm real-time system linear duration invariant approximate model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication:

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