Jump to main content

yr 〜
yr

Search results 3

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.

2016 international workshop on symbolic and numerical methods for reachability analysis : (SNR 2016) : Vienna, Austria : 11 April 2016 : CPS week : Apr 2016, Vienna, Austria.
Paper図書
IEEE[2016]<M17-17-2497>
National Diet Library
  • Author Heading...rahám, Erika. Bogomolov, Sergiy. Cyber-Physical Systems Week ...

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings : pbk

Formal modeling and analysis of timed systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, proceedings : pbk
Paper図書
Sergiy Bogomolov, David Parker (eds.)Springerc2022
Other Libraries in Japan
  • Author HeadingFORMATS Bogomolov, Sergiy Parker, David

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers
Paper図書
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (eds.)Springerc2017
Other Libraries in Japan
  • Author Heading...ronto, Canada) Bogomolov, Sergiy Martel, Matthieu Prabhakar, P...

Reached to the end of result.

RSS