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

scientific article; zbMATH DE number 1487484

From MaRDI portal

Publication:4493891

Jump to:navigation, search

zbMath0954.68016MaRDI QIDQ4493891

S. A. Schneider

Publication date: 1999

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

zbMATH Keywords

CSP denotational semantics testing

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (3)

Model transformations across views ⋮ Test generation from state based use case models ⋮ Guided Test Generation from CSP Models

This page was built for publication:

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