vrijdag 9 november 2018 12:30
An Abstraction-Refinement Theory for the Analysis and Design of concurrent Real-Time Systems
Voor meer informatie zie de Engelse website.
Meer events
vr 26 apr 2024 09:30 - 17:00Concurreren met Digital Servitization
wo 8 - wo 15 mei 2024Erasmus+ Inspire Days
wo 8 mei 2024 20:00 - 22:00Science Café Enschede: Hoorcollege in 't Twents, doar is niks mis met!
di 21 mei 2024 12:45 - 14:00Week of Inspiration/ Wandelen naar het einde van de wereld
di 21 mei 2024 19:30 - 21:00Week of Inspiration / Klimaatoptimisten gezocht!