MPG.eBooks - Search Results - "formal specification"

Cover Image

1

Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Published 2020

Springer International Publishing

Table of Contents: “... of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm...”

Cover Image

2

Formal Methods and Software Engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Table of Contents: “...-Time Temporal Logic -- On Concept-Based Definition of Domain-Specific Languages -- Formal Specification...”