Home Advanced Search

Advanced Search - Page 1

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
  • PDF
  • English
  • Year: 2017
  • Author: Naijun Zhan, Shuling Wang, Hengjun Zhao (auth.)
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou (auth.), Kazunori Ueda (eds.)
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
  • PDF
  • English
  • Year: 2018
  • Author: Cliff Jones, Ji Wang, Naijun Zhan
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Modelling of the Microfiltration Process
  • PDF
  • English
  • Year: 2023
  • Author: Zhan Wang
Modelling of the Microfiltration Process
  • EPUB
  • English
  • Year: 2023
  • Author: Zhan Wang
Hyperspectral Image Processing
  • PDF
  • English
  • Year: 2016
  • Author: Liguo Wang, Chunhui Zhao (auth.)
Essentials of Mesenchymal Stem Cell Biology and Its Clinical Translation
  • PDF
  • English
  • Year: 2013
  • Author: Shihua Wang, Robert Chunhua Zhao (auth.), Robert Chunhua Zhao (eds.)
Selenium WebDriver Recipes in C#
  • PDF
  • English
  • Year: 2015
  • Author: Zhimin Zhan (auth.)
Branching Random Walks: École d'Été de Probabilités de Saint-Flour XLII – 2012
  • PDF
  • English
  • Year: 2015
  • Author: Zhan Shi (auth.)
search