28973 articles – 22398 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.
Dans 18th IEEE International Conference on Automated Software Engineering (ASE 2003) (2003) 196-204 [hal-00457197 - version 1]