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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319568409, 9783319568416

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Reasoning on Infinite Data Values: An Ongoing Quest

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_6 ◽

2017 ◽

pp. 195-257

Author(s):

Taolue Chen ◽

Fu Song ◽

Zhilin Wu

Keyword(s):

Formal Reasoning

Download Full-text

UTP by Example: Designs

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_2 ◽

2017 ◽

pp. 16-50 ◽

Cited By ~ 1

Author(s):

Jim Woodcock ◽

Simon Foster

Download Full-text

Reasoned Modelling with Event-B

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_3 ◽

2017 ◽

pp. 51-109 ◽

Cited By ~ 2

Author(s):

Michael Butler

Download Full-text

Alan Turing: Founder of Computer Science

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_1 ◽

2017 ◽

pp. 1-15 ◽

Cited By ~ 3

Author(s):

Jonathan P. Bowen

Keyword(s):

Computer Science ◽

Alan Turing

Download Full-text

Runtime Verification for Linear-Time Temporal Logic

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_5 ◽

2017 ◽

pp. 151-194 ◽

Cited By ~ 1

Author(s):

Martin Leucker

Keyword(s):

Temporal Logic ◽

Linear Time ◽

Runtime Verification ◽

Linear Time Temporal Logic

Download Full-text

Java in the Safety-Critical Domain

Engineering Trustworthy Software Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-56841-6_4 ◽

2017 ◽

pp. 110-150 ◽

Cited By ~ 1

Author(s):

Ana Cavalcanti ◽

Alvaro Miyazawa ◽

Andy Wellings ◽

Jim Woodcock ◽

Shuai Zhao

Keyword(s):

Critical Domain ◽

Safety Critical

Download Full-text

Engineering Trustworthy Software Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Formal Reasoning on Infinite Data Values: An Ongoing Quest

UTP by Example: Designs

Reasoned Modelling with Event-B

Alan Turing: Founder of Computer Science

Runtime Verification for Linear-Time Temporal Logic

Java in the Safety-Critical Domain

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