Jump to main content

yr 〜
yr

Search results 5

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi
Digital電子書籍・電子雑誌図書
2018
Available onlineNational Diet Library
  • Author HeadingBeyer Marieke Huisman Huisman, Marieke

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedi
Digital電子書籍・電子雑誌図書
2018
Available onlineNational Diet Library
  • Author HeadingBeyer Marieke Huisman Huisman, Marieke

Concise guide to software verification : from model checking to annotation checking

Concise guide to software verification : from model checking to annotation checking
Paper図書
Marieke Huisman, Anton WijsSpringerc2023
Other Libraries in Japan

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings : pbk

Formal methods for industrial critical systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, proceedings : pbk
Paper図書
Jan Friso Groote, Marieke Huisman (eds.)Springerc2022
Other Libraries in Japan

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

Reached to the end of result.

RSS