Fechar
From statecharts into model checking: A hierarchy-based translation and specification patterns properties to generate test cases

Lista de arquivos depositados em:

sid.inpe.br/mtc-m21b/2017/11.08.14.47

Nome Última modificação Tamanho
baixar
 :: santiago_from.pdf
08/11/2017 12:47 332.2 KiB 
  2 arquivos escondidos
Fechar