Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017
    URL: http://dx.doi.org/10.1007/978-3-319-56841-6
    DBLP: db/conf/setss/setss2016.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 6 of 6  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Michael Butler.
    Reasoned Modelling with Event-B.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Conference paper
    Jonathan P. Bowen.
    Alan Turing: Founder of Computer Science.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Conference paper
    Ana Cavalcanti, Alvaro Miyazawa, Andy J. Wellings, Jim Woodcock, Shuai Zhao.
    Java in the Safety-Critical Domain.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Conference paper
    Martin Leucker.
    Runtime Verification for Linear-Time Temporal Logic.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Conference paper
    Jim Woodcock, Simon Foster.
    UTP by Example: Designs.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Conference paper
    Taolue Chen, Fu Song, Zhilin Wu.
    Formal Reasoning on Infinite Data Values: An Ongoing Quest.
    Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures 2017 (0) 2016
    Show item 1 to 6 of 6  

    Your query returned 6 matches in the database.