Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11392)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: SOFL+MSVL 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 papers)
-
Verification and Validation
Keywords
About this book
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.
Editors and Affiliations
Bibliographic Information
Book Title: Structured Object-Oriented Formal Language and Method
Book Subtitle: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Editors: Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-13651-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-13650-5Published: 09 February 2019
eBook ISBN: 978-3-030-13651-2Published: 11 March 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 197
Number of Illustrations: 74 b/w illustrations, 33 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Artificial Intelligence, System Performance and Evaluation, Theory of Computation, Simulation and Modeling, Computing Milieux