Model checking a redukce behavior protokolů

Abstrakt

Model checking a redukce behavior protokolů

Klíčová slova

• Model
• Checking
• Reduction
• Behavior
• Protocols