William E. Warner

According to our database1, William E. Warner authored at least 4 papers between 1995 and 2001.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2001
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng., 2001

1999
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
Proceedings of the 1999 International Conference on Software Engineering, 1999

1996
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.
Proceedings of the 2nd International Conference on Requirements Engineering, 1996

1995
An industry response to comprehensive enterprise information systems management.
Proceedings of the Integrated Network Management IV, 1995


  Loading...