ACM code generator 1.0
Licença: Grátis Tamanho do arquivo: N/A
Classificação dos utilizadores: 3.0/5 - 2 votos
Aguarde... O seu link de descarregamento está a ser verificado para conteúdo malicioso.
Poderá descarregar em 5 segundos.
Poderá descarregar em 5 segundos.
Sobre ACM code generator
A ACMgen é um gerador automático de códigos dos Mecanismos de Comunicações Assíncronos baseados na geração de modelos de redes Petri que podem ser verificados formalmente contra algumas propriedades e depois transformados numa implementação real (por exemplo.C++ ou Verilog).