Search this site
Skip to main content
Skip to navigation
Paolo Ballarini
Home
bio
Papers
bibtex-files
CMSB12
cosmos
cosmos-paper
PRISM models of WiFi networks based on the RTS/CTS version of IEEE 802.11 MAC
MyStuff
TourMontBlanc22
TourMontBlanc22_EN
Bio
Box
Collaborators
Contacts
COSMOS
COSMOS models of WiFi networks based on RTS/CTS IEEE 802.11 and 802.11p MAC
Research
PhD project proposal
Software
Teaching
Formal modelling for concurrent and probabilistic systems
IntroJavaBigData
IS1220- written exam 15/3/2019 (provisional marks)
Object oriented software development (IS1220)
Probabilistic Verification Systems Biology
Paolo Ballarini
cosmos-paper
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse