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
Advances in design methods from modeling languages for embedded systems and SoC's. Selected contributions on specification, design, and verification from FDL 2009. - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Advances in design methods from modeling languages for embedded systems and SoC's. Selected contributions on specification, design, and verification from FDL 2009. (Q978509)

From MaRDI portal





scientific article; zbMATH DE number 5725910
Language Label Description Also known as
English
Advances in design methods from modeling languages for embedded systems and SoC's. Selected contributions on specification, design, and verification from FDL 2009.
scientific article; zbMATH DE number 5725910

    Statements

    Advances in design methods from modeling languages for embedded systems and SoC's. Selected contributions on specification, design, and verification from FDL 2009. (English)
    0 references
    25 June 2010
    0 references
    modeling
    0 references
    design methods
    0 references
    complex embedded systems
    0 references
    systems on chip
    0 references

    Identifiers