Engineering trustworthy software systems 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | , , |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Cham
Springer
2020
|
Schriftenreihe: | Lecture notes in computer science
12154 |
Schlagworte: | |
Online Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Titel | Jahr | Verfasser |
---|---|---|
From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT | 2020 | Wu,, Lei Bu, Jiawan Wang, Yuming |
Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence | 2020 | Szymczak, Marcin |
Seamless Model-Based System Development: Foundations (Extended Abstract) | 2020 | Broy, Manfred |
K—A Semantic Framework for Programming Languages and Formal Analysis | 2020 | Chen, Xiaohong |
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling | 2020 | Tyszberowicz,, Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel |