Formal specification and analysis approaches for spacecraft attitude control requirements. Gross, K. H. In 2017 IEEE Aerospace Conference, pages 1–11, 2017. IEEE. tex.ids= grossFormalSpecificationAnalysis2017a, grossFormalSpecificationAnalysis2017b, grossFormalSpecificationAnalysis2017c, grossFormalSpecificationAnalysis2017d, grossFormalSpecificationAnalysis2017e, grossFormalSpecificationAnalysis2017f, grossFormalSpecificationAnalysis2017g, grossFormalSpecificationAnalysis2017h
doi  bibtex   
@inproceedings{gross_formal_2017,
	title = {Formal specification and analysis approaches for spacecraft attitude control requirements},
	doi = {10/ghvz5b},
	booktitle = {2017 {IEEE} {Aerospace} {Conference}},
	publisher = {IEEE},
	author = {Gross, Kerianne H.},
	year = {2017},
	note = {tex.ids= grossFormalSpecificationAnalysis2017a, grossFormalSpecificationAnalysis2017b, grossFormalSpecificationAnalysis2017c, grossFormalSpecificationAnalysis2017d, grossFormalSpecificationAnalysis2017e, grossFormalSpecificationAnalysis2017f, grossFormalSpecificationAnalysis2017g, grossFormalSpecificationAnalysis2017h},
	pages = {1--11},
}

Downloads: 0