Näytetään 1 - 1 yhteensä 1 tuloksesta haulle 'YANGJun(杨军)', hakuaika: 0,02s Tarkenna hakua
  1. 1
    A formal verification method: model checking(一种形式化验证方法：模型检验)

    A formal verification method: model checking(一种形式化验证方法：模型检验) Tekijä YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

    Julkaistu 2006-07-01
    Hae kokoteksti
    Artikkeli

Työkalut: