Cover Image
Read Now

261
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis...”
Cover Image
Read Now

262
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Models and Architectures -- Formal Specification and Verification of Mobile Agent Data Integrity...”
Cover Image
Read Now

263
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... Ethernet: Real-time formal specification of Ethernet -- Implementing LOTOS specifications by communicating...”
Cover Image
Read Now

264
Published 1993
Springer Berlin Heidelberg
“... including: - Semanticsand logical concepts in the theory of computing and formal specification - Automata...”
Cover Image
Read Now

265
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Languages -- Formal Specification and Verification of ARM6 -- A Programming Logic for Java Bytecode Programs...”
Cover Image
Read Now

266
Published 2013
Springer Berlin Heidelberg
“... submissions. The topics covered are abstraction and refinement, formal specification and modeling, program...”
Cover Image
Read Now

267
by Lano, Kevin
Published 1996
Springer London
“... comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal...”
Cover Image
Read Now

268
Published 2014
Springer International Publishing
“... “Ontology”, the term commonly adopted in the computer science community to indicate the study of the formal...”
Cover Image
Read Now

269
Published 2011
Springer Berlin Heidelberg
Table of Contents: “... in wireless sensor net-works -- Formal Specification and Implementation of Priority Queue with Starvation...”
Cover Image
Read Now

270
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms...”
Cover Image
Read Now

271
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing...”
Cover Image
Read Now

272
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
Cover Image
Read Now

273
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...An Isabelle-based theorem prover for VDM-SL -- Executing formal specifications by translation...”
Cover Image
Read Now

274
Published 1993
Springer Vienna
Table of Contents: “...-Time Scheduled Hard Real-Time System -- Formal Specification and Simulation of a Real-Time Concurrency...”
Cover Image
Read Now

275
Published 2019
Springer International Publishing
Table of Contents: “... Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart...”
Cover Image
Read Now

276
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- Formal Specification of Object-Oriented Meta-modelling --...”
Cover Image
Read Now

277
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Compliant Development Process -- Trustable Formal Specification for Software Certification -- Design Choices...”
Cover Image
Read Now

278
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Interpretation of FIFO Queues -- Assessing the Expressivity of Formal Specification Languages -- Fork Algebras...”
Cover Image
Read Now

279
Published 2020
Springer International Publishing
Table of Contents: “... and Result Validation for Multi-Threaded Programs -- Tendermint Blockchain Synchronization: Formal...”