On the automatic evolution of an OS kernel using temporal logic and AOP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 196-204, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Rickard A. Åberg' in GoogleIdentified as Julia L. Lawall This author has not been identified. It may be one of the following persons:

Mario Südholt

Look up 'Mario Südholt' in GoogleThis author has not been identified. Look up 'Gilles Muller' in GoogleIdentified as Anne-Françoise Le Meur ( )

runs on WebDSL