HTTP/1.1 200 OK Connection: close Date: Mon, 20 Oct 2003 15:30:10 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 4554 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 08:04:36 GMT Client-Date: Mon, 20 Oct 2003 15:30:08 GMT Client-Response-Num: 1 Title: DBLP: Bing Yu
2002 | ||
---|---|---|
6 | EE | Bing Yu, Dolf H. C. Van Paassen, Siamak Riahy: General modeling for model-based FDD on building HVAC system. Simulation Practice and Theory 9(6-8): 387-397 (2002) |
1997 | ||
5 | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213 | |
1996 | ||
4 | Joseph A. Profeta III, Nikos P. Andrianos, Bing Yu, Barry W. Johnson, Todd A. DeLong, David Guaspari, Damir Jamsek: Safety-Critical Systems Built with COTS. IEEE Computer 29(11): 54-60 (1996) | |
1995 | ||
3 | EE | Shi-Kuo Chang, Gennaro Costagliola, Giuliano Pacini, Maurizio Tucci, Genoveffa Tortora, Bing Yu, Jing-Sheng Yu: Visual-Language System for User Interfaces. IEEE Software 12(2): 33-44 (1995) |
1990 | ||
2 | Bing Yu, Shi-Kuo Chang: A Fuzzy Visual Language Compiler. VL 1990: 162-167 | |
1989 | ||
1 | EE | Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu: A Visual Language Compiler. TSE 15(5): 506-525 (1989) |