Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings – eBook

$60.13 $10.00

eBook details

  • Authors: Peter Csaba Olveczky, Gwen Salaun
  • File Size: 13 MB
  • Format: PDF
  • Length: 568 pages
  • Publisher: Springer
  • Publication Date: September 9, 2019
  • Language: English
  • ASIN: B07XNT13SX
  • ISBN-10: 3030304450
  • ISBN-13: 9783030304454
SKU: software-engineering-and-formal-methods-17th-international-conference-sefm-2019-oslo-norway-september-18-20-2019-proceedings-ebook Categories: , , , , Tags: , Product ID: 10446


This ebook Software Engineering and Formal Methods (PDF) constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.

The 27 full papers introduced have been rigorously reviewed and chosen from 89 submissions. The papers cowl a big number of matters, together with testing, formal verification, runtime verification, program evaluation, malware, and assault detection,and software program improvement and evolution and tackle a variety of techniques, equivalent to cyber-bodily techniques, UAVs, autonomous robots, and function-oriented and working techniques. They are organized within the following topical sections: cyber-bodily techniques; function-oriented and versioned techniques; cooperative asynchronous techniques; mannequin inference; ontologies and machine studying; mannequin-primarily based testing; program evaluation; relating fashions and implementations; runtime verification; working techniques; safety; and verification.


There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

You may also like…