From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems
Chapter
Overview
publication date
- January 1, 2020
published in
Identity
Digital Object Identifier (DOI)
Additional Document Info
has global citation frequency
- https://vivo.tib.eu/demo/individual/gcf_W3044908501 Global Citation Count
start page
- 156
end page
- 178