Cover Image
Read Now

161
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Case study “production cell”: A comparative study in formal specification and verification -- The Korso...”
Cover Image
Read Now

162
Published 2014
Springer International Publishing
Table of Contents: “... Properties in A CEGAR Process -- Formal Specification Level -- Power Estimation Methodology for SystemC...”
Cover Image
Read Now

163
Published 2017
Springer International Publishing
Table of Contents: “... Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal...”
Cover Image
Read Now

164
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... survey of approaches to formal specification and verification -- Software engineering in business...”
Cover Image
Read Now

165
Published 2014
Springer International Publishing
Table of Contents: “... Hemispheric Brainwave Activity -- A Novel Organizational Model for Real Time MAS: Towards a Formal...”
Cover Image
Read Now

166
Published 2016
Springer International Publishing
“... submissions. The papers present a wide range of topics on distributed computing models and formal...”
Cover Image
Read Now

167
Published 2019
Springer International Publishing
“.../state charts; formal specification languages, temporal logic, design-by-contract; model checking...”
Cover Image
Read Now

168
Published 2000
Springer US
“... to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ...”
Cover Image
Read Now

169
Published 2010
Springer US
“... of formal specification and verification of agent-based systems with a special focus on verification...”
Cover Image
Read Now

170
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... of Medical Sensor Environments -- Formal Specification and Automatic Analysis of Business Processes under...”
Cover Image
Read Now

171
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Testing: A Case Study on a Flash Storage Platform -- Analyzing a Formal Specification of Mondex Using...”
Cover Image
Read Now

172
Published 2023
Springer Nature Singapore
Table of Contents: “... -- Predicting Smart Building Occupancy using Machine Learning -- Formal Specification of Dynamic Load Based...”
Cover Image
Read Now

173
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... Verification of FFT Algorithms in HOL -- A Functional Approach to the Formal Specification of Networks on Chip...”
Cover Image
Read Now

174
by Wallace, C.S.
Published 2005
Springer New York
“..., hypothesis testing, model selection, and statistical inference. MML, which provides a formal specification...”
Cover Image
Read Now

175 Table of Contents: “... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...”
Cover Image
Read Now

176
by Whitmore, Harland W. Jr
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...Conclusion -- 12. The Complete Model of a Closed Economy -- Formal Specification of the Complete...”
Cover Image
Read Now

177
by Luckham, David C., Henke, Friedrich W. von, Krieg-Brueckner, Bernd, Owe, Olaf
Published 1987
Springer Berlin Heidelberg
“... design includes annotations of all ADA constructs except tasking. Similar extensions for formal...”
Cover Image
Read Now

178
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... for VHDL design -- Tutorial notes: Reasoning about logic programs -- Software formal specification by logic...”
Cover Image
Read Now

179
by Waldo, Jim
Published 2000
Addison-Wesley Professional
“...: entertainment systems, cars, smart houses, and personal computers. This book contains the formal specification...”
Cover Image
Read Now

180
Published 2004
Springer Berlin Heidelberg
“...An ontology is a description (like a formal specification of a program) of concepts...”