פרופילים

פרופילים

הפרופיל שלי הספרייה שלי

Liudong Xing

Professor, UMass Dartmouth

כתובת אימייל מאומתת בדומיין umassd.edu

צוטט על ידי 12169

Reliability Resilience Wireless Sensor Network IoT Decision Diagram

Chuan Jiang

Department of Computer Science, Iowa State University

כתובת אימייל מאומתת בדומיין iastate.edu

צוטט על ידי 55

Formal method Model checking Satisfiability Decision diagram

Yu Nakahata

Nara Institute of Science and Technology

כתובת אימייל מאומתת בדומיין is.naist.jp

צוטט על ידי 53

graph algorithm decision diagram enumeration problem combinatorial reconfiguration