A carregar...
Formal methods for industrial critical systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification....
Na minha lista:
| Main Authors: | , , |
|---|---|
| Formato: | Livro |
| Idioma: | Inglês |
| Publicado em: |
Springer,
c200
|
| Colecção: | Lecture notes in computer science ; |
| Assuntos: | |
| Acesso em linha: | https://minerva.ufrj.br/F/?func=direct&doc_number=000910911&local_base=UFR01 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|