Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers: 12723 - Brossura

Brossura

ISBN 10: 3030774732 ISBN 13: 9783030774738

Casa editrice: Springer, 2021

Riassunto

This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021.<br> The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification.<div>Due to the Corona pandemic this event was held virtually.<br></div>

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2021
• Lingua: Inglese
• ISBN 10: 3030774732
• ISBN 13: 9783030774738
• Rilegatura: Copertina flessibile
• Numero edizione: 1
• Numero di pagine: 216
• Redattore: Xue Jinyun, Nagoya Fumiko, Liu Shaoying, Duan Zhenhua
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania