Wyniki wyszukiwania dla: AUTOFOCUS
Wyświetlane wyniki pochodzą z wyszukiwania alternatywnego.
Filtry
wszystkich: 2
Wyniki wyszukiwania dla: AUTOFOCUS
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus 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.
PublikacjaPraca 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.