Model-Checking with Coverability Graphs
Formal Methods in System Design
Verifying Properties of Neural Networks
IWANN '01 Proceedings of the 6th International Work-Conference on Artificial and Natural Neural Networks: Connectionist Models of Neurons, Learning Processes and Artificial Intelligence-Part I
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Hi-index | 0.00 |