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
Assume-guarantee reasoning for additive hybrid behaviour - MaRDI portal

Assume-guarantee reasoning for additive hybrid behaviour

From MaRDI portal

Publication:6535836

Jump to:navigation, search

DOI10.1007/978-3-031-40436-8_11zbMath1547.68319MaRDI QIDQ6535836

Jonas Lundbek Hansen, Pieter J. L. Cuijpers, Kim Guldstrand Larsen

Publication date: 28 February 2024

zbMATH Keywords

assume-guarantee reasoning additive composition hybrid specification theory resource hybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Assume-guarantee reasoning for additive hybrid behaviour

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