Distribuovaný ověřovač Behavior protokolů | Charles Explorer

Distribuovaný ověřovač Behavior protokolů

Publikace na Matematicko-fyzikální fakulta |

2006

Abstrakt

Distribuovaný ověřovač Behavior protokolů

Klíčová slova

Distributed Behavior Protocol Checker

Osoba