Return to home page
Searching: Otterbein library catalog
We are currently experiencing delivery delays for items requested from other institutions while transitioning to a new statewide delivery service. Please contact your library with questions or advice about alternative resources. Thank you for your patience!
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway)
Title Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers / Javier Camara, Martin Steffan (eds.).
Imprint Cham, Switzerland : Springer, [2020]

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway)
Series Lecture Notes in Computer Science ; 12226
LNCS sublibrary: SL 2 Programming and software engineering
Lecture notes in computer science ; 12226.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
Alt Name Camara, Javier (Computer scientist),
Steffen, Martin,
CoSim-CPS (Workshop) (3rd : 2019 : Oslo, Norway), jointly held conference.
ASYDE (Workshop) (2019 : Oslo, Nowray) jointly held conference.
CIFMA (Workshop) (2019 : Oslo, Norway), jointly held conference.
International Workshop on the Foundations of Coordination Languages and Software Architectures (17th : 2019 : Oslo, Norway), jointly held conference.
Description 1 online resource
Summary he 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 from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
Note Includes author index.
Online resource; title from digital title page (viewed on November 02, 2020).
Contents Software Engineering -- Software Technologies -- Model-Driven Engineering -- Formal Methods.
ISBN 9783030575069 (electronic bk.)
3030575063 (electronic bk.)
3030575055
9783030575052
ISBN/ISSN 10.1007/978-3-030-57506-9.
10.1007/978-3-030-57
OCLC # 1195498204
Additional Format Print version: International Conference on Software Engineering and Formal Methods (17th : 2019 : Oslo, Norway). Software engineering and formal methods. Cham, Switzerland : Springer, [2020] 3030575055 9783030575052 (OCoLC)1176322175



If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team