Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Hi-index | 0.00 |