Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  • Mardare, Radu (Projektdeltager)

Fingerprint

Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

Earth and Planetary Sciences

Computer Science

Engineering