Challenges for Formal Semantic Description: Responses from the Main Approaches
Attributed to:
STRATA; Layers for Structuring Trustworthy Ambient Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-02928-9_6
Publication URI: http://dx.doi.org/10.1007/978-3-030-02928-9_6
Type: Book Chapter
Book Title: Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures (2018)
Page Reference: 176-217