33980 articles – 26807 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]