Home Advanced Search

Advanced Search - Page 1

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
  • PDF
  • English
  • Year: 2022
  • Author: Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Secure Cyber-Physical Systems for Smart Cities
  • PDF
  • English
  • Year: 2019
  • Author: Riaz Ahmed Shaikh