An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction
Holzmann, Gerard J.
An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction - 364-377 p.
for mal Method
Model Creation
Software Testing
An Automated Verificattion Method for Distributed Systems Softwae Based on Model Extraction - 364-377 p.
for mal Method
Model Creation
Software Testing