Cover Image
Read Now

221
by Noyes, Jan, Baber, Chris
Published 1999
Springer London
“... to the design of systems have conventionally led to formal specification of the system. The past decade or two...”
Cover Image
Read Now

222
Published 1992
Springer London
“...; there is no value of x which satisfies it. Similarly it is possible to specify objects using the formal...”
Cover Image
Read Now

223
Published 2013
Springer International Publishing
Table of Contents: “... Inference -- Formal Specification of an Erase Block Management Layer for Flash Memory -- Attention-Based...”
Cover Image
Read Now

224
by Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “... of interaction points -- 4.2 A list of possible interaction point properties -- 4.3 Formal specification...”
Cover Image
Read Now

225
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...A formal specification of an automatic train protection system -- Adding real time to formal...”
Cover Image
Read Now

226
Published 1982
Springer Berlin Heidelberg
Table of Contents: “... by module trees -- Parameter passing in algebraic specification languages -- A few remarks on putting formal...”
Cover Image
Read Now

227
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring...”
Cover Image
Read Now

228
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software -- Model-Based...”
Cover Image
Read Now

229
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... — A classification and survey -- Formal specification and verification of VHDL -- Specification...”
Cover Image
Read Now

230
Published 2022
Springer International Publishing
“..., such as verification and validation, software engineering, formal specification and modeling, software security...”
Cover Image
Read Now

231
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... -- Animating a non-executable formal specification with a distributed symbolic language -- Uniform...”
Cover Image
Read Now

232
by Graham, Brian T.
Published 1992
Springer US
Table of Contents: “... Internal Architecture and Microcode -- 3.5 The Final Layout -- 3.6 Summary and Status -- 4 Formal...”
Cover Image
Read Now

233
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...Structuring Mechanisms for an Object-Oriented Formal Specification Language -- Software Reuse...”
Cover Image
Read Now

234
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...-Wide-Web -- Towards a Formal Specification of Complex Social Structures in Multi-agent Systems...”
Cover Image
Read Now

235
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... of the SPADE repository using object-oriented technology -- Object-oriented formal specification development...”
Cover Image
Read Now

236
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... through the belief-function formalism in a multi-agent environment -- Formal specification of beliefs...”
Cover Image
Read Now

237
Published 1991
Springer US
“... investigated in the arena of formal specification and verification of real-time systems. Together, these two...”
Cover Image
Read Now

238
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Specification -- The Role of Castes in Formal Specification of MAS -- A Truly Concurrent Model...”
Cover Image
Read Now

239
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Violation Detection System (An Ongoing Research Report) -- Towards a Formal Specification Method...”