Mostrando 1 - 20 resultados de 620 para a busca 'and modeling from programming', tempo de busca: 0,18s

18

... for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and...

JCML - Java Card Modeling Language: Definição e Implementação

Publicado em 2007
Dissertação

20

Assuntos: ...Modeling and verification of extended finite state machines (EFSM)...

Modelagem de programas e sua verificação para controladores programáveis.

Publicado em 2008
Dissertação