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

scientific article; zbMATH DE number 1428926

From MaRDI portal

Publication:4948149

Jump to:navigation, search

zbMath0944.68187MaRDI QIDQ4948149

Janick Bergeron

Publication date: 10 April 2000

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

zbMATH Keywords

computer aided design hardware design hardware description languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer science aspects of computer-aided design (68U07) Computer system organization (68M99)

Related Items (1)

Dynamic and formal verification of embedded systems: A comparative survey

This page was built for publication:

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