Método B e a síntese verificada para código de montagem
Assembly code synthesis is a process that requires rigorous care. Typically, this process in mature translators and compilers is relatively safe, though some errors have occasionally been identified. In a more restricted context, the translators used in the smaller communities and developed const...
Na minha lista:
Autor principal: | Medeiros Júnior, Valério Gutemberg de |
---|---|
Outros Autores: | Deharbe, David Boris Paul |
Formato: | doctoralThesis |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/21420 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Modeling in Event-B : system and software engineering /
por: Abrial, Jean-Raymond.
Publicado em: (2022) -
Aplicação do método B ao projeto formal de software embarcado
por: Medeiros Júnior, Valério Gutemberg de
Publicado em: (2015) -
Beta: a B based testing approach
por: Matos, Ernesto Cid Brasil de
Publicado em: (2016) -
Prova automática de satisfatibilidade módulo Teoria aplicada ao método B/
por: Tavares, Cláudia Fernanda O. K., et al.
Publicado em: (2022) -
The B-book : assigning programs to meanings /
por: Abrial, Jean-Raymond.
Publicado em: (2022)