Hasil Pencarian - David Tremaine

  • Menampilkan 1 - 1 hasil dari 1
Perbaiki Hasil
  1. 1
    Formal Verification of Real-Time Function Blocks Using PVS

    Formal Verification of Real-Time Function Blocks Using PVS oleh Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

    Diterbitkan 2015-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: