Cover Image
Read Now

121
by George, Chris
Published 2002
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

122
by Wing, Jeannette M
Published 1999
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

123
by Wing, Jeannette M
Published 1999
Springer-Verlag Berlin Heidelberg
Cover Image
Read Now

124
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... with Case Analysis -- Applications of Formal Methods -- Enhanced Semantic Access to Formal Software Models...”
Cover Image
Read Now

125
Published 2013
Springer Berlin Heidelberg
“... Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9...”
Cover Image
Read Now

126
Published 2016
Springer International Publishing
“... and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 20 full and 5...”
Cover Image
Read Now

127
Published 2015
Springer International Publishing
“... aspects of the use of and the research on formal methods for software development...”
Cover Image
Read Now

128
Published 2016
Springer International Publishing
Table of Contents: “... methods for self-adaptive systems -- Formal methods for object-oriented systems -- Formal methods...”
Cover Image
Read Now

129
by O'Regan, Gerard
Published 2017
Springer International Publishing
Table of Contents: “...Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods...”
Cover Image
Read Now

130
Published 2016
Springer International Publishing
Table of Contents: “...Interdisciplinary formal methods -- Formal methods in practice -- Tools for formal methods -- Role...”
Cover Image
Read Now

131
Published 2016
Springer International Publishing
“...This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods...”
Cover Image
Read Now

132
Published 2015
Springer International Publishing
“... in the area of formal methods and software engineering and are devoted to advancing the state of the art...”
Cover Image
Read Now

133
Published 2015
Springer Berlin Heidelberg
Table of Contents: “...Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling...”
Cover Image
Read Now

134
Published 2016
Springer International Publishing
“...This book constitutes revised selected papers from the 18th Brazilian Symposium on Formal Methods...”
Cover Image
Read Now

135
Published 2016
Springer International Publishing
“... birthday. Frank S. de Boer is a prominent member of the research community in formal methods...”
Cover Image
Read Now

136
Published 2014
Springer International Publishing
Table of Contents: “....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods...”
Cover Image
Read Now

137
Published 2015
Springer International Publishing
“... of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015...”
Cover Image
Read Now

138
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Methods in Enterprise Computing -- Unifying Theories of Parallel Programming -- Component...”
Cover Image
Read Now

139
Published 2019
Springer International Publishing
Table of Contents: “... - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term...”
Cover Image
Read Now

140
Published 2014
Springer International Publishing
Table of Contents: “... Considered Essential -- Engineering UToPiA: Formal Semantics for CML -- 40 Years of Formal Methods: Some...”