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
Local consistency check in synchronous dataflow models - MaRDI portal

Local consistency check in synchronous dataflow models

From MaRDI portal

Publication:6535962

Jump to:navigation, search

DOI10.1007/978-3-030-30942-8_24zbMath1539.68064MaRDI QIDQ6535962

Paul Dubrulle, Dina Alina Irofti

Publication date: 14 March 2024

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Local consistency check in synchronous dataflow models

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