32894 articles – 26190 Notices  [english version]
.:. Consultation > Par auteur > Åberg .:.
1 document

On the automatic evolution of an OS kernel using temporal logic and AOP
Åberg R. A., Lawall J. L., Südholt M., Muller G., Le Meur A. F.
In 18th IEEE International Conference on Automated Software Engineering (ASE 2003) (2003) 196-204 [hal-00457197 - version 1]