• No results found

Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification

N/A
N/A
Protected

Academic year: 2020

Share "Flood Analysis and Prediction Support based on UML and Mobile Petri Net Specification and Verification"

Copied!
5
0
0

Loading.... (view fulltext now)

Full text

Figure

Fig. 1.Server and Client Mobile Agent
Fig. 5.Specification of the model
Fig. 6.Verification of the model

References

Related documents