Description
The 10 full papers and 3 short papers were thoroughly reviewed and selected from 19 qualified submissions. The papers are organized according to the following topical sections: verification and validation; applications; methods, techniques and tools.
Book Information
ISBN 9783030581664
Author Önder Babur
Format Paperback
Page Count 197
Imprint Springer Nature Switzerland AG
Publisher Springer Nature Switzerland AG
Weight(grams) 454g