Formal Verification of Control System Software

book

発売日

: 2019年

著者/編集

: Pierre-Loic Garoche

出版社

: PRINCETON UNIV PR

価格

: 18,022

ISBN

: 9780691181301