HMIPv6 Formal Verification Research Based on Color Petri Nets

Abstract

Related Dissertations

1. Space right to the basic theoretical research,D923.2
2. Research on Physical Properties and Data Processing in the Process of Removing Acid of LNG,TE644
3. Optimizition of Compositions and Processing Parameters and Wear Properties of Cemented Carbides YG11R Modified by Nanosized Rare Earth,TG135.5
4. Study on Spherical Harmonics Discrete Ordinate Method for Radiative Transfer,TK124
5. The Relation between Fuzzy Logic Guidance Law and Homing Quality,TJ765
6. Chinese Sports Athletes Human Capital Development and Income Distribution Research,G812.0
7. Study on the Synthesis and Properties of Copolyimides Derived from ODPA/Isomeric ODA,TQ323.7
8. The Research on the Comprehensive Modification Technology of Rice Protein Enzymatichydrolysis and Graft Copolymerization,TS201.2
9. Effects of Organic, SEQ, Special and Conventional Farming Systems on the Yield and Quality of Different Vegetables and Soil Properties,S63
10. The Degradation of PET to Synthesize Phosphate Flame Retardants and the Study of Their Flame-retardant Performance,TQ314.248
11. The Research of Property Management Patterns for Rural Household Biogas in Jiangsu Province,S216.4
12. Differences of Resistant Starch Content and Its Its Correlation with Flour Quality in Different Wheat Cultivars,S512.1
13. Study on the Properties of Polyphosphatases from Beef Semitendinosus and the Enzymic Reaction Systems,TS251.1
14. Of school-run enterprise property right system of innovative research and standardized management,F271
15. On Intellectual Property Protection of Intangible Cultural Heritage,D923.4
16. Expression, Purification and Characterization of Trucated Type Recombinant Buckwheat Trypsin Inhibitor,R284.1
17. The Prokaryotic Expression of Melittin Gene and Its Targeting Transcription in Hela Cells,R346
18. Biological Properties of EDC Cross-linked Acellular Tendon of Banna Mini-pig Inbred-lines Abstract,R687.2
19. Attribute structure of cognitive diagnosis completeness and accuracy,B842.1
20. Resource allocation impact on rural governance,D422.6
21. Ketones 3D-QSPR study,O641