Author:
Pontes Rodrigo Pastl,Véras Paulo Claudino,Ambrosio Ana Maria,Villani Emília
Publisher
Springer Science and Business Media LLC
Reference43 articles.
1. Agresti A (2007) An introduction to categorical data analysis, 2nd edn. Wiley, Hoboken, 372 p
2. Alur R, Dill DA (1994) Theory of timed automata. Theor Comput Sci 126:183–235
3. Ambrosio AM, Martins E, Vijaykumar NL, Carvalho SV (2006) A conformance testing process for space applications software services. J Aerosp Comput Inf Commun (JACIC), USA 3(4):146–158
4. Ambrosio AM, Francisco MFM, Martins E (2008) An independent software verification and validation process for space applications. Proceedings of the 9th Conference on Space Operations (SpaceOps). Heidelberg (Germany)
5. Anjos JMS, Gripp J, Pontes RP, Villani E (2011) Applying the CoFI testing methodology to a multifunctional robot end-effector. Proceedings of the 5th Latin-American Symposium on Dependable Computing (LADC)—Industrial Track, São José dos Campos (Brasil)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献