Abstract interpretation of reactive systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Testing Software Requirements with Z and Statecharts Applied to an Embedded Control Systemt0t1
Software Quality Control
Hi-index | 0.00 |