34407 articles – 26936 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]