Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 33 , 4 ; 323-329
2011-01-01
7 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Cooperation of Model Checking and Network Simulation for Cost Analyses of Distributed Systems
British Library Online Contents | 2011
|Model Checking Driven Simulation of Sat Procedures
British Library Conference Proceedings | 2012
|Model Checking Driven Simulation of Sat Procedures
AIAA | 2012
|British Library Conference Proceedings | 1995
|