Jump to main content

yr 〜
yr

Search results 3

Formal methods : 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

Formal methods : 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings
Paper図書
Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)Springerc2021
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe Huisman, Marieke Păsăreanu, Corina Zhan, Naijun

Formal verification of simulink/stateflow diagrams : a deductive approach

Formal verification of simulink/stateflow diagrams : a deductive approach
Paper図書
Naijun Zhan, Shuling Wang, Hengjun ZhaoSpringer Internationalc2017
Other Libraries in Japan
  • Author HeadingZhan, Naijun Wang, Shuling Zhao, Hengjun

Formal verification of simulink/stateflow diagrams : a deductive approach

Formal verification of simulink/stateflow diagrams : a deductive approach
Paper図書
Naijun Zhan, Shuling Wang, Hengjun ZhaoSpringerc2017
Other Libraries in Japan
  • Author HeadingZhan, Naijun Wang, Shuling Zhao, Hengjun

Reached to the end of result.

RSS