35,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
18 °P sammeln
  • Broschiertes Buch

Awtomaty wremeni - äto dopolnenie k teoretiko-teoreticheskomu podhodu k modelirowaniü sistem real'nogo wremeni, kotoroe wwodit wremq w klassicheskie awtomaty. S teh por, kak on byl wperwye predlozhen w nachale dewqnostyh godow, on stal wazhnoj issledowatel'skoj oblast'ü i shiroko izuchaetsq kak w kontexte formal'nyh qzykow, tak i pri modelirowanii i werifikacii sistem real'nogo wremeni. Awtomaty real'nogo wremeni ispol'zuüt modelirowanie plotnogo wremeni, chto pozwolqet äffektiwno prowerqt' modeli chuwstwitel'nyh ko wremeni sistem, prawil'noe funkcionirowanie kotoryh zawisit ot wremennyh…mehr

Produktbeschreibung
Awtomaty wremeni - äto dopolnenie k teoretiko-teoreticheskomu podhodu k modelirowaniü sistem real'nogo wremeni, kotoroe wwodit wremq w klassicheskie awtomaty. S teh por, kak on byl wperwye predlozhen w nachale dewqnostyh godow, on stal wazhnoj issledowatel'skoj oblast'ü i shiroko izuchaetsq kak w kontexte formal'nyh qzykow, tak i pri modelirowanii i werifikacii sistem real'nogo wremeni. Awtomaty real'nogo wremeni ispol'zuüt modelirowanie plotnogo wremeni, chto pozwolqet äffektiwno prowerqt' modeli chuwstwitel'nyh ko wremeni sistem, prawil'noe funkcionirowanie kotoryh zawisit ot wremennyh swojstw. Odnoj iz takih oblastej primeneniq qwlqetsq prowerka protokolow bezopasnosti. Jeta kniga fokusiruetsq na modeli awtomatizacii s tajmerom i ispol'zuet ee w kachestwe instrumenta prowerki protokolow bezopasnosti. V kachestwe primera mozhno priwesti powtorqüschijsq protokol autentifikacii Neuman-Stubblebine, kotoryj modeliruetsq i prowerqetsq s ispol'zowaniem chuwstwitel'nyh ko wremeni swojstw modeli. Nedostatki protokola analiziruütsq i kommentiruütsq preimuschestwa i problemy modeli.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Burku Kulahchioglu, magistr nauk: Student bakalawra komp'üternoj inzhenerii w Uniwersitete Editepe. Poluchil stepen' magistra w Izmirskom tehnologicheskom institute. Oblast' nauchnyh interesow wklüchaet teoriü wremennyh awtomatow, modelirowanie i werifikaciü sistem real'nogo wremeni i teoreticheskie osnowy komp'üternoj nauki. Nauchnyj assistent w Uniwersitete Yasar, Izmir.