Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
·
How to upload
Include full text
Search results
Back
Searched for: subject%3A%22Model%255C+Checking%22
(1 - 3 of 3)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Verifying weak memory concurrent data structure implementations
Finite Abstractions of Network Calculus Elements for Formal Verification of Network Bounds
Model checking GOAL agents