Abstract: The research described in this thesis aims to determine the extent to which formal methods and tools can be applied to analyze distributed systems ...
確定! 回上一頁