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

TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030550882, 9783030550899
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling

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

scholarly journals Weakest Preexpectation Semantics for Bayesian Inference

2020 ◽  
pp. 44-121
Author(s):  
Marcin Szymczak ◽  
Joost-Pieter Katoen
Keyword(s):  
Bayesian Inference
Load More ...
Sign in / Sign up

Export Citation Format

Share Document