( en | de | ru )

 

Disambiguation of "Ambrosio, Ana Maria"

Author of the publication

copydeleteadd this publication to your clipboard
QSEE Project: An Experience in Outsourcing Software Development for Space Applications.

, , , , and . SEKE, page 51-56. Knowledge Systems Institute Graduate School, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ana Maria Javellana

Ana Maria Delgado

Ana Maria Machado

Ana-Maria Stanescu

Ana-Maria Kreuter

 

Other publications of authors with the same name

Generating test cases to evaluate and improve processes of safety-critical systems development., , , and . ISSRE Workshops, page 311-318. IEEE, (2020)Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)., , and . EDCC, page 194-197. IEEE Computer Society, (2014)COFI: an approach combining conformance test and fault injection for espace application software validation.. National Institute for Space Research, São José dos Campos, Brazil, (2005)ndltd.org (oai:agregador.ibict.br.BDTD_INPE:oai:urlib.net:sid.inpe.br/MTC-m13@80/2005/09.06.13.34.07-0).Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies., , and . SBESC, page 159-160. IEEE Computer Society, (2013)Um Sistema para Execução de Especificações JSD., and . SBES, page 96-105. SBC, (1988)Applying Data Mining for Detecting Anomalies in Satellites., , and . EDCC, page 212-217. IEEE Computer Society, (2012)Verificação e Validação na terceirização de software embarcado em aplicações espaciais., , , , and . SBQS, page 367-374. SBC, (2006)From Natural Language Standard Documents to State Machines: Advantages and Drawbacks., , , , and . J. Aerosp. Inf. Syst., 15 (5): 271-281 (May 2018)ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems., , and . HICSS, page 8012-. IEEE Computer Society, (2000)QSEE Project: An Experience in Outsourcing Software Development for Space Applications., , , , and . SEKE, page 51-56. Knowledge Systems Institute Graduate School, (2007)