( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Approach for Verification of a Satellite Simulator - An Evolving System.

, , , и . LADC, стр. 176-182. IEEE Computer Society, (2016)

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.

Ana Maria Javellana

Ana Maria Delgado

Ana Maria Machado

Ana-Maria Stanescu

Ana-Maria Kreuter

 

Другие публикации лиц с тем же именем

Generating test cases to evaluate and improve processes of safety-critical systems development., , , и . ISSRE Workshops, стр. 311-318. IEEE, (2020)Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper)., , и . EDCC, стр. 194-197. IEEE Computer Society, (2014)QSEE Project: An Experience in Outsourcing Software Development for Space Applications., , , , и . SEKE, стр. 51-56. Knowledge Systems Institute Graduate School, (2007)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).From Natural Language Standard Documents to State Machines: Advantages and Drawbacks., , , , и . J. Aerosp. Inf. Syst., 15 (5): 271-281 (мая 2018)Um Sistema para Execução de Especificações JSD., и . SBES, стр. 96-105. SBC, (1988)Verificação e Validação na terceirização de software embarcado em aplicações espaciais., , , , и . SBQS, стр. 367-374. SBC, (2006)Applying Data Mining for Detecting Anomalies in Satellites., , и . EDCC, стр. 212-217. IEEE Computer Society, (2012)Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies., , и . SBESC, стр. 159-160. IEEE Computer Society, (2013)ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems., , и . HICSS, стр. 8012-. IEEE Computer Society, (2000)