Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring

Tid: Fr 2013-03-15 kl 10.00

Plats: Sal F3, Lindstedtsvägen 26, KTH

Ämnesområde: Datalogi inriktning Datalogi

Respondent: Andreas Lundblad

Opponent: Professor Gul Agha, Thomas M. Siebel Center for Computer Science, University of Illinois, Urbana, USA

Handledare: Professor Mads Dam

2013-03-15T10:00 2013-03-15T10:00 Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring (Datalogi inriktning Datalogi) Inlined Reference Monitors: Certification, Concurrency and Tree Based Monitoring (Datalogi inriktning Datalogi)
Till sidans topp