Engineering Trustworthy Software Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 5)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030550882, 9783030550899

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Seamless Model-Based System Development: Foundations

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_1 ◽

2020 ◽

pp. 1-9

Author(s):

Manfred Broy

Keyword(s):

System Development ◽

Download Full-text

$$\mathbb {K}$$—A Semantic Framework for Programming Languages and Formal Analysis

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_4 ◽

2020 ◽

pp. 122-158

Author(s):

Xiaohong Chen ◽

Grigore Roşu

Keyword(s):

Programming Languages ◽

Formal Analysis ◽

Semantic Framework

Download Full-text

From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_2 ◽

2020 ◽

pp. 10-43

Author(s):

Lei Bu ◽

Jiawan Wang ◽

Yuming Wu ◽

Xuandong Li

Keyword(s):

Reachability Analysis ◽

Hybrid Automata ◽

Linear Hybrid Automata

Download Full-text

Weakest Preexpectation Semantics for Bayesian Inference

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_3 ◽

2020 ◽

pp. 44-121

Author(s):

Marcin Szymczak ◽

Joost-Pieter Katoen

Keyword(s):

Bayesian Inference

Download Full-text

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-55089-9_5 ◽

2020 ◽

pp. 159-219 ◽

Author(s):

Zhiming Liu ◽

Jonathan P. Bowen ◽

Bo Liu ◽

Shmuel Tyszberowicz ◽

Tingting Zhang

Keyword(s):

Cyber Physical Systems ◽

Systems Architecture ◽

Physical Systems ◽

Architecture Modelling

Download Full-text