@InProceedings{CorsettiAmbrMatt:2014:PrGuTw,
               author = "Corsetti, Andr{\'e} and Ambrosio, Ana Maria and 
                         Mattiello-Francisco, Maria de F{\'a}tima",
          affiliation = "{Instituto Nacional de Pesquisas Espaciais (INPE)} and {Instituto 
                         Nacional de Pesquisas Espaciais (INPE)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "Robustness testing of satellite attitude and orbit control 
                         systems: A proposal guided by two model based testing 
                         methodologies",
                 year = "2014",
                pages = "159--160",
         organization = "Brazilian Symposium on Computing Systems Engineering, 3. 
                         (SBESC).",
            publisher = "IEEE Computer Society",
              address = "Niteroi, Rio De Janeiro",
  conference-location = "Niter{\'o}i",
      conference-year = "dec. 4-8, 2013",
                  doi = "10.1109/SBESC.2013.40",
                  url = "http://dx.doi.org/10.1109/SBESC.2013.40",
                 isbn = "9781479938902",
                 issn = "2324-7886",
                label = "scopus 2014-11 CorsettiAmbrMatt:2014:PrGuTw",
             language = "en",
           targetfile = "06825361.pdf",
        urlaccessdate = "23 abr. 2024"
}