Constructing a Pilot Library of Components for Avionic Systems

José L. Fernández, Juan Antonio de la Puente. Constructing a Pilot Library of Components for Avionic Systems. In Dimitris Christodoulakis, editor, Ada: The Choice for 92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Volume 499 of Lecture Notes in Computer Science, pages 362-371, Springer, 1991.

@inproceedings{FernandezP91,
  title = {Constructing a Pilot Library of Components for Avionic Systems},
  author = {José L. Fernández and Juan Antonio de la Puente},
  year = {1991},
  researchr = {https://researchr.org/publication/FernandezP91},
  cites = {0},
  citedby = {0},
  pages = {362-371},
  booktitle = {Ada: The Choice for  92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings},
  editor = {Dimitris Christodoulakis},
  volume = {499},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54092-X},
}