Formal Methods for Safety and Security

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

5/5
ਪਹਿਲੀ ਪ੍ਰਕਾਸ਼ਿਤ
Nov 12, 2017
ਪ੍ਰਕਾਸ਼ਕ
Springer

ਕਿਤਾਬਾਂ

ਸਮਾਨ ਕਿਤਾਬਾਂ