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
A Method for Testing the Conformance of Real Time Systems - MaRDI portal

A Method for Testing the Conformance of Real Time Systems

From MaRDI portal

Publication:5392298

Jump to:navigation, search

DOI10.1007/3-540-45739-9_20zbMath1278.68036OpenAlexW1779584415MaRDI QIDQ5392298

Ahmed Khoumsi

Publication date: 8 April 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45739-9_20

zbMATH Keywords

real-time systems timed automata conformance testing test cases generation test architecture generalized wp-method se-FSA

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

A new method for centralised and modular supervisory control of real-time discrete event systems

This page was built for publication: A Method for Testing the Conformance of Real Time Systems

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