On the Construction of Engineering Handbooks - SpringerBriefs in Computer Science
Latest Publications

TOTAL DOCUMENTS

6
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030446475, 9783030446482
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Related Work

2020 ◽  
pp. 13-20
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach

Introduction and Motivation

2020 ◽  
pp. 3-11
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach

Application of the General Method to the Railway Domain

2020 ◽  
pp. 41-53
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach
Keyword(s):  
Railway Domain ◽  
General Method

Conclusions and Prospects for Future Work

2020 ◽  
pp. 77-78
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach
Keyword(s):  
Future Work

A General Method for Composing an Engineering HB

2020 ◽  
pp. 23-40
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach
Keyword(s):  
General Method

Example HB Entry of a Formal Method for the Railway Domain — Step 6

2020 ◽  
pp. 57-75
Author(s):  
Stefan Gruner ◽  
Apurva Kumar ◽  
Tom Maibaum ◽  
Markus Roggenbach
Keyword(s):  
Formal Method ◽  
Railway Domain
Load More ...
Sign in / Sign up

Export Citation Format

Share Document