Hongping Lim

According to our database1, Hongping Lim authored at least 4 papers between 2005 and 2008.

Collaborative distances :

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2008
Specifying and proving properties of timed I/O automata using Tempo.
Design Autom. for Emb. Sys., 2008

2007
Translation Templates to Support Strategy Development in PVS.
Electr. Notes Theor. Comput. Sci., 2007

2006
Specifying and proving properties of timed I/O automata in the TIOA toolkit.
Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005
Translating Timed I/O Automata Specifications for Theorem Proving in PVS.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005


  Loading...