Virual Oral Presentation Slide by Slide

IEEE/ICACT20210216 Slide.02        [Big Slide]	Oral Presentation
	The table of contents is as follows. First, Blockchain, Second, Smart Contract, Third, Formal methods, Fourth, Model Checking and UPPAAL modeling tool briefly explain. Then, Fifth, Formal Modeling using UPPAAL Finally, let me tell you about a conclusion.

[Go to Next Slide]

Select Voice: Virtual Oral Presentation!!