Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN

Uložené v:
Hlavný autor: Arbet, Peter, 1988- (Autor)
Ďalší autori: Fogel, Jaroslav, 1945- (Vedúci práce)
Médium: Rukopis Kniha
Jazyk:Slovak
Vydavateľské údaje: Bratislava : STU v Bratislave FEI, 2011
Predmet:
Aplikovaná informatika
Applied Informatics
verifikácia
verification
spin
algoritmy
On-line prístup:VAIS
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

MARC

LEADER 00000ntm a22000003a 4500
001 stu231345
005 20150617230143.3
008 110713s2011----xo------------------slo-d
040 |a STU  |b slo 
041 0 |a slo 
044 |a xo 
100 1 |a Arbet, Peter,  |d 1988-  |4 aut  |u E  |T FEI Fakulta elektrotechniky a informatiky  |X 7948  |U E  |Y 30  |7 A000007948 
242 0 0 |a Modeling and verification of properties of mutual exclusion algorithms in an environment of SPIN  |y eng 
245 1 |a Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN 
260 |a Bratislava :  |b STU v Bratislave FEI,  |c 2011 
300 |a 39 s 
650 7 |a Aplikovaná informatika  |2 stusub 
650 7 |a Applied Informatics  |2 estusub 
650 7 |a verifikácia  |2 stusub 
650 7 |a verification  |2 estusub 
650 7 |a spin  |2 stusub 
650 7 |a algoritmy  |2 stusub 
700 1 |a Fogel, Jaroslav,  |d 1945-  |4 ths  |u E200  |U FEI Fakulta elektrotechniky a informatiky  |T FEI Katedra aplikovanej informatiky a výpočtovej techniky  |X 2195  |U E200  |Y 67  |7 A000002195 
856 4 |a info a plný text  |u http://is.stuba.sk/zp/portal_zp.pl?podrobnosti=81616  |3 VAIS 
996 |b 284ER00664  |c E*Bc-664  |l EE35  |s P  |a 0  |w stu231345_0001 

Podobné jednotky