{"product_id":"9783030047702","title":"Lecture Notes in Computer Science: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eMazzara, Manuel; Ober, Iulian; Salaün, Gwen\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. \u003c\/p\u003e\n\nThe 65 full papers presented were carefully reviewed and selected from 120 submissions.\u003cp\u003e\u003c\/p\u003e\n\n\u003cp\u003eThe events whose papers are included in this volume are:\u003c\/p\u003e\n\n\u003cp\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eCoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eDataMod 2018: 7th International Symposium From Data to Models and Back\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eFMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eGCM 2018: 9th International Workshop on Graph Computation Models\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex Systems\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eMSE 2018: 3rd International Workshop on Microservices: Science and Engineering\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering\u003cbr\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2018-12-06\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783030047702\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-030-04771-9\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 658\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377830977676,"sku":"9783030047702","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783030047702.jpg?v=1774016457","url":"https:\/\/lateknightbooks.com\/products\/9783030047702","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}