This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 — co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing. The 20 revised full papers presented together with 3 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are devoted to the dissemination o...
Tabela de Conteúdo
Speeding Up Simulation of System C Using Model Checking.- Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering....
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 351 ● ISBN 9783642104527 ● Editor Marcel Vinícius Medeiros Oliveira & James Woodcock ● Editora Springer Berlin ● Cidade Heidelberg ● País DE ● Publicado 2009 ● Carregável 24 meses ● Moeda EUR ● ID 2171421 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM