Search for persons
X
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
6
Application of the General Method to the Railway Domain:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
7
Related Work:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
8
Example HB Entry of a Formal Method for the Railway Domain ..:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
9
A General Method for Composing an Engineering HB:
, In:
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
11
Conclusions and Prospects for Future Work:
, In:
?
?
On the Construction of Engineering Handbooks; SpringerBriefs in Computer Science ,
13
Introduction and Motivation:
, In:
?
2019 20th International Workshop on Microprocessor/SoC Test, Security and Verification (MTV) ,
15