Yann Thierry-Mieg. Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology. In Lawrence Cabac, Lars Michael Kristensen, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016. Volume 1591 of CEUR Workshop Proceedings, pages 30-32, CEUR-WS.org, 2016. [doi]
Abstract is missing.