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

Författare
Anton Hampus
Genre
Statlig publikation
Språk
Engelska
Förlag År Ort Om boken ISBN
2023 Sverige 21