Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ambrosio, Ana Maria
1825  Ergebnisse:
Personensuche X
?
1

Modeling satellite battery aging for an operational satelli..:

Rodrigues, Italo Pinto ; Oliveira, Priscylla A.S. ; Ambrosio, Ana Maria.
Advances in Space Research.  67 (2021)  6 - p. 1981-1999 , 2021
Link: https://doi.org/10.1016/..
 
?
2

Generating test cases to evaluate and improve processes of ..:

, In: 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),
Barros, Lilian ; Hirata, Celso ; Marques, Johnny. - p. 311-318 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Design of a Fully Digital BPSK Demodulator Integrated into ..:

Pereira de Lucena, Antonio Macilio ; Sombra da Silva, Adeildo ; Dutra Viot, Diego.
IEEE Latin America Transactions.  18 (2020)  9 - p. 1511-1520 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Tangible user interface vocabulary to physically enhance sp..:

Cerqueira, Christopher Shneider ; Ambrosio, Ana Maria ; Kirner, Claudio
Concurrent Engineering.  27 (2019)  4 - p. 305-313 , 2019
Link: https://doi.org/10.1177/..
 
?
5

Integrating model checking and model based testing for indu..:

Villani, Emília ; Pontes, Rodrigo Pastl ; Coracini, Guilherme Kisselofl.
Computers in Industry.  104 (2019)  - p. 88-102 , 2019
Link: https://doi.org/10.1016/..
 
?
6

From Natural Language Standard Documents to State Machines:..:

Greghi, Juliana Galvani ; Martins, Eliane ; Carvalho, Ariadne M. B. R...
Journal of Aerospace Information Systems.  15 (2018)  5 - p. 271-281 , 2018
Link: https://doi.org/10.2514/..
 
?
7

Model-Based Testing Applied to Software Components of Satel..:

Silva, Paulo Diego Barbosa da ; Ambrosio, Ana Maria ; Villani, Emilia
Modelling and Simulation in Engineering.  2018 (2018)  - p. 1-14 , 2018
Link: https://doi.org/10.1155/..
 
?
8

An Approach for Verification of a Satellite Simulator - An ..:

, In: 2016 Seventh Latin-American Symposium on Dependable Computing (LADC),
Barbosa Da Silva, Paulo Diego ; Ambrosio, Ana Maria ; Villani, Emilia. - p. 176-182 , 2016
Link: https://doi.org/10.1109/..
 
?
9

A benchmarking process to assess software requirements docu..:

Véras, Paulo C. ; Villani, Emilia ; Ambrosio, Ana Maria..
Journal of Systems and Software.  100 (2015)  - p. 103-116 , 2015
Link: https://doi.org/10.1016/..
 
?
10

Development of an Interface to a Spacecraft Simulator empow..:

Cerqueira, Christopher Shneider ; Dos Santos, Walter Abrahão ; Ambrosio, Ana Maria
Journal on Interactive Systems.  3 (2013)  3 - p. , 2013
Link: https://doi.org/10.5753/..
 
?
11

Contributions of model checking and CoFI methodology to the..:

Pontes, Rodrigo Pastl ; Véras, Paulo Claudino ; Ambrosio, Ana Maria.
Empirical Software Engineering.  19 (2012)  1 - p. 39-68 , 2012
Link: https://doi.org/10.1007/..
 
?
12

Genomic Features of Attenuated Junín Virus Vaccine Strain C..:

Goñi, Sandra Elizabeth ; Iserte, Javier Alonso ; Ambrosio, Ana Maria...
Virus Genes.  32 (2006)  1 - p. 37-41 , 2006
Link: https://doi.org/10.1007/..
 
?
13

Serological study of the lymphochoriomeningitis virus (LCMV..:

Riera, Laura ; Castillo, Ernesto ; Saavedra, María del Carmen...
Journal of Medical Virology.  76 (2005)  2 - p. 285-289 , 2005
Link: https://doi.org/10.1002/..
 
?
14

IgG subclasses in human immune response to wild and attenua..:

Saavedra, María del Carmen ; Sottosanti, Josefa María ; Riera, Laura.
Journal of Medical Virology.  69 (2003)  3 - p. 447-450 , 2003
Link: https://doi.org/10.1002/..
 
?
15

Estabilidad de la vacuna Candid#1 para prevenir la fiebre h..:

Saavedra, María del Carmen ; Riera, Laura M ; Bottale, Alejandro J...
Medicina (Buenos Aires).  , 2017
Link: http://sgc.anlis.gob.ar/..
 
1-15