IEEE Transactions on Software Engineering
State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Verifying CSP-OZ-DC specifications with complex data types and timing parameters
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
| Hi-index | 0.00 |