Jump to main content

yr 〜
yr

Search results 4

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
Digital電子書籍・電子雑誌図書
2025
Available onlineNational Diet Library
  • Author HeadingAndre Platzer Pradella, Matteo Rossi, Matte...

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I

Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library
  • Author HeadingAndré Platzer Pradella, Matteo Rossi, Matte...

Logical foundations of cyber-physical systems

Logical foundations of cyber-physical systems
Paper図書
André PlatzerSpringerc2018
Other Libraries in Japan

Logical analysis of hybrid systems : proving theorems for complex dynamics

Logical analysis of hybrid systems : proving theorems for complex dynamics
Paper図書
André PlatzerSpringerc2010
Other Libraries in Japan

Reached to the end of result.

RSS