Browsing by Subject B method
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
|---|---|---|
| 10-Feb-2012 | Beta: uma ferramenta para geração de testes de unidade a partir de especificações B | Matos, Ernesto Cid Brasil de |
| 19-Nov-2007 | BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B | Gomes, Bruno Emerson Gurgel |
| 16-Aug-2011 | Especificação do micronúcleo FreeRTOS utilizando o método B | Galvão, Stephenson de Sousa Lima |
| 10-Feb-2012 | KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B | Santos, Simone de Oliveira |