MSU Libraries
Digital Repository
Home
About
Collections
Selected filters
Thesis Advisor: Bonakdarpour, Borzoo
×
Collection
Electronic Theses & Dissertations
3
Material Type
Theses
3
Language
English
3
Copyright Status
Creative Commons Licensed
3
Subject
Computer science
3
Year
TO
Apply
Search results
Showing 1 to 3 of 3 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Runtime Verification of Partially Synchronous Distributed Cyber-Physical Systems
Momtaz, Anik
Text (2023)
Part of
Electronic Theses & Dissertations
Runtime Verification of Distributed Systems
Ganguly, Ritam
Text (2023)
Part of
Electronic Theses & Dissertations
VERIFICATION OF PROBABILISTIC HYPERPROPERTIES ON MARKOV MODELS
Dobe, Oyendrila
Text (2024)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
