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 7028882 - MaRDI portal

scientific article; zbMATH DE number 7028882

From MaRDI portal

Publication:4624677

Jump to:navigation, search

DOI10.13328/j.cnki.jos.005472zbMath1424.68030MaRDI QIDQ4624677

Zhenhua Duan, Jin Cui, Cong Tian, Nan Zhang

Publication date: 22 February 2019

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

zbMATH Keywords

verification formal modeling projection temporal logic nested interrupt systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Unified temporal logic

This page was built for publication:

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