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

scientific article; zbMATH DE number 1023673

From MaRDI portal

Publication:4341644

Jump to:navigation, search

zbMath0870.68099MaRDI QIDQ4341644

Yassine Lakhneche

Publication date: 17 June 1997

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

zbMATH Keywords

real-time systems algorithmic verification proof system based verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Duration calculus: Logical foundations ⋮ Verifying untimed and timed aspects of the experimental batch plant

This page was built for publication:

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