William E. Warner
According to our database1, William E. Warner authored at least 4 papers between 1995 and 2001.
Legend:Book In proceedings Article PhD thesis Other
Optimizing Symbolic Model Checking for Statecharts.
IEEE Trans. Software Eng., 2001
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.
Proceedings of the 1999 International Conference on Software Engineering, 1999
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.
Proceedings of the 2nd International Conference on Requirements Engineering, 1996
An industry response to comprehensive enterprise information systems management.
Proceedings of the Integrated Network Management IV, 1995