MAFALDA: Microkernel Assessment by Fault Injection and Design Aid

Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat. MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. In Jan Hlavicka, Erik Maehle, András Pataricza, editors, Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings. Volume 1667 of Lecture Notes in Computer Science, pages 143-160, Springer, 1999. [doi]

@inproceedings{RodriguezSFA99,
  title = {MAFALDA: Microkernel Assessment by Fault Injection and Design Aid},
  author = {Manuel Rodríguez and Frédéric Salles and Jean-Charles Fabre and Jean Arlat},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1667/16670143.htm},
  tags = {design},
  researchr = {https://researchr.org/publication/RodriguezSFA99},
  cites = {0},
  citedby = {0},
  pages = {143-160},
  booktitle = {Dependable Computing - EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings},
  editor = {Jan Hlavicka and Erik Maehle and András Pataricza},
  volume = {1667},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66483-1},
}