Ditemukan 23 dokumen yang sesuai dengan query
Rohit Gheyi, editor
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and...
Berlin: [, Springer-Verlag], 2012
e20409397
eBooks Universitas Indonesia Library
This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. The volume contains 20 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the FP7-IST project AVANTSSAR on automated...
Berlin: Springer-Verlag, 2011
e20407983
eBooks Universitas Indonesia Library
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Tiziana Margaria, editor
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : [, Springer-Verlag], 2012
e20410565
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed...
Berlin: Springer-Verlag, 2012
e20409844
eBooks Universitas Indonesia Library
The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topical sections on adaptable and evolving software for...
Berlin : Springer, 2012
e20410564
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
Toshiaki Aoki, editor
This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal...
Berlin: Springer-Verlag, 2012
e20407818
eBooks Universitas Indonesia Library
Sarfraz Khurshid, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71...
Berlin: [, Springer-Verlag], 2012
e20409040
eBooks Universitas Indonesia Library
