Search results for: AUTOFOCUS
Displayed results came from alternative search method.
Search results for: AUTOFOCUS
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Autonomus hydroacoustics sound velocity profiler.
PublicationPraca zawiera opis bezpośredniej zasady pomiarowej i struktury wersji autonomicznego miernika pomiarów rozkładów prędkości dźwięku w akwenach przeznaczonych do stosowania na okrętach nawodnych, podwodnych i opuszczanych antenach sonarowych śmigłowców i okrętów nawodnych.