Cover Image
Read Now

Software Engineering and Formal Methods SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected...

Full description

Bibliographic Details
Other Authors: Camara, Javier (Editor), Steffen, Martin (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2020, 2020
Edition:1st ed. 2020
Series:Programming and Software Engineering
Subjects:
Microprogramming 
Computer Systems
Computer Science
Computer System Implementation
Logic In Ai.
Application Software
Control Structures And Microprogramming
Natural Language Processing (nlp)
Computer And Information Systems Applications
Theory Of Computation
Logic Programming
Natural Language Processing (computer Science)
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Software Engineering
  • Software Technologies
  • Model-Driven Engineering
  • Formal Methods

Similar Items