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
PSAMS: a communication protocol specification assessment and measurement system - MaRDI portal

PSAMS: a communication protocol specification assessment and measurement system

From MaRDI portal

Publication:4791035

Jump to:navigation, search

DOI10.1002/SPE.476zbMath1009.68924OpenAlexW2059178162MaRDI QIDQ4791035

Sun-Jen Huang, Richard Lai

Publication date: 4 February 2003

Published in: Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/spe.476

zbMATH Keywords

complexity maintainability formal description techniques software metrics Estelle size model

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in the theory of software (68N01) Network protocols (68M12)

This page was built for publication: PSAMS: a communication protocol specification assessment and measurement system

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