Logo eprints

Browse by Co-Advisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Randone, Francesca (2024) Efficient and Accurate Analysis of Two Classes of Transparent Generative Models. Advisor: Tribastone, Prof. Mirco. Coadvisor: Bortolussi, Prof. Luca . pp. 162. [IMT PhD Thesis]

Lanciani, Roberta (2017) Stochastic Approximations in Model Checking: A New Scalable Approach to Collective Systems Verification. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 123. [IMT PhD Thesis]

Nenzi, Laura (2016) A logic-based approach to specify and design spatio-temporal behaviours of complex systems. Advisor: De Nicola, Prof. Rocco. Coadvisor: Bortolussi, Prof. Luca . pp. 199. [IMT PhD Thesis]

This list was generated on Sun Dec 22 00:01:33 2024 CET.
E-Theses is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.