BibTeX record conf/safecomp/IliasovTLRVVIL10

• > Home > conf/safecomp/IliasovTLRVVIL10

@inproceedings{DBLP:conf/safecomp/IliasovTLRVVIL10,
  author       = {Alexei Iliasov and
                  Elena Troubitsyna and
                  Linas Laibinis and
                  Alexander B. Romanovsky and
                  Kimmo Varpaaniemi and
                  Pauli V{\"{a}}is{\"{a}}nen and
                  Dubravka Ilic and
                  Timo Latvala},
  editor       = {Erwin Schoitsch},
  title        = {Verifying Mode Consistency for On-Board Satellite Software},
  booktitle    = {Computer Safety, Reliability, and Security, 29th International Conference,
                  {SAFECOMP} 2010, Vienna, Austria, September 14-17, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6351},
  pages        = {126--141},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15651-9\_10},
  doi          = {10.1007/978-3-642-15651-9\_10},
  timestamp    = {Mon, 05 Feb 2024 20:27:39 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/IliasovTLRVVIL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}