Verifying Refinement of Probabilistic Contracts Using Timed Automata (With Proofs)

Autor:	Hampus, Anton, Nyberg, Mattias
Jazyk:	angličtina
Rok vydání:	2023
Předmět:	Datavetenskap (datalogi) Computer Sciences
Popis:	QCR 20230426
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______260::6aadbf40d75bf7e6e579141eab410dfb http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-325814 Zobrazit plný text záznamu