Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Osman Hasan, Frédéric Mallet, editors, Formal Techniques for Safety-Critical Systems - 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. Volume 1165 of Communications in Computer and Information Science, Springer, 2020. [doi]

Conference: ftscs2020

This author has not been identified. It may be one of the following persons:

Osman Hasan

Look up 'Osman Hasan' in GoogleThis author has not been identified. Look up 'Frédéric Mallet' in Google

runs on WebDSL