|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Paperback, 1st ed. 2022)
Loot Price: R1,542
Discovery Miles 15 420
|
|
|
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers (Paperback, 1st ed. 2022)
Series: Lecture Notes in Computer Science, 13230
Expected to ship within 10 - 15 working days
|
This volume constitutes revised selected papers from the four
workshops collocated with the 19th International Conference on
Software Engineering and Formal Methods, SEFM 2021, held virtually
during December 6-10, 2021. The 21 contributed papers presented in
this volume were carefully reviewed and selected from a total of 29
submissions. The book also contains 3 invited talks. SEFM 2021
presents the following four workshops: CIFMA 2021 - 3rd
International Workshop on Cognition: Interdisciplinary Foundations,
Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal
Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th
International Workshop on Open Community approaches to Education,
Research and Technology;ASYDE 2021 - 3rd International Workshop on
Automated and verifiable Software sYstem Development. Due to the
Corona pandemic this event was held virtually.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
