H. Wong-Toi
发表
H. Wong-Toi,
Howard Wong-Toi,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
International Journal on Software Tools for Technology Transfer.
Thomas A. Henzinger,
Howard Wong-Toi,
T. Henzinger,
1996,
Hybrid Systems.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1997,
CAV.
Howard Wong-Toi,
H. Wong-Toi,
1995
.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
1998,
IEEE Trans. Autom. Control..
Howard Wong-Toi,
Gerard Hoffmann,
H. Wong-Toi,
1992,
1992 American Control Conference.
Rapid Thermal Multiprocessor,
S. Balemi,
G. J. Hoffmann,
1993
.
Thomas A. Henzinger,
Peter W. Kopke,
Howard Wong-Toi,
1995,
ICALP.
Nicolas Halbwachs,
Rajeev Alur,
David L. Dill,
1992,
[1992] Proceedings Real-Time Systems Symposium.
Rajeev Alur,
David L. Dill,
Costas Courcoubetis,
1992,
CONCUR.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
TACAS.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
International Conference on Computer Aided Verification.
Howard Wong-Toi,
G. Hoffmann,
H. Wong-Toi,
1992,
[1992] Proceedings Real-Time Systems Symposium.
Howard Wong-Toi,
Michael J. Meyer,
H. Wong-Toi,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
S. Balemi,
Paul J. Gyugyi,
H. Wong-Toi,
1993,
IEEE Trans. Autom. Control..
Thomas A. Henzinger,
Rupak Majumdar,
Howard Wong-Toi,
2000,
HSCC.
H. Wong-Toi,
L. Benvenuti,
A. Balluchif,
1999,
1999 European Control Conference (ECC).
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1990,
CAV.
T. Villa,
A.L. Sangiovanni-Vincentelli,
H. Wong-Toi,
2000,
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
H. Wong-Toi,
R. Alur,
T.A. Henzinger,
1997,
Proceedings of the 36th IEEE Conference on Decision and Control.
Thomas A. Henzinger,
Howard Wong-Toi,
Pei-Hsin Ho,
1995,
Proceedings 16th IEEE Real-Time Systems Symposium.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
1997,
International Journal on Software Tools for Technology Transfer.
H. Wong-Toi,
G. Hoffmann,
H. Wong-Toi,
1991,
[1991] Proceedings of the 30th IEEE Conference on Decision and Control.
Tiziano Villa,
Maria Domenica Di Benedetto,
Alberto Sangiovanni-Vincentelli,
2000,
HSCC.
David L. Dill,
Howard Wong-Toi,
H. Wong-Toi,
1995,
CAV.
T. Henzinger,
Pei-Hsin Ho,
H. Wong-Toi,
2022
.
Howard Wong-Toi,
Pei-Hsin Ho,
Pei-Hsin Ho,
1995,
CAV.
H. Wong-Toi,
J. Preussig,
H. Wong-Toi,
2000,
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).
Alan J. Hu,
David L. Dill,
Howard Wong-Toi,
1991,
CAV.