Mostrando 1 - 5 resultados de 5 para a busca '"verification"', tempo de busca: 0,09s

1

Assuntos: ...Formal verification...

Object-oriented graph grammars

Publicado em 2005
Tese

3

Assuntos: ...Formal verification...

Relational approach of graph grammars

Publicado em 2010
Tese

5

Assuntos: ...Formal verification...

A SysML profile for smart city applications

Publicado em 2021
Dissertação