Travelled to:1 × Canada
Collaborated with:J.L.Lawall M.Südholt G.Muller A.L.Meur
Talks about:automat (1) tempor (1) kernel (1) evolut (1) logic (1) use (1) aop (1)
Person: Rickard A. Åberg
DBLP: =Aring=berg:Rickard_A=
Contributed to:
2003Wrote 1 papers:
- ASE-2003-AbergLSMM #aspect-oriented #automation #evolution #kernel #logic #on the #using
- On the automatic evolution of an OS kernel using temporal logic and AOP (RAÅ, JLL, MS, GM, AFLM), pp. 196–204.