Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tkačov, Peter, 1987- (Verfasst von)
Weitere Verfasser:	Kotmanová, Daniela, 1952- (xxx)
Format:	Manuskript Buch
Sprache:	Slowakisch
Veröffentlicht:	STU v Bratislave FIIT, 2008
Schlagworte:	počítačové inžinierstvo
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu167978
005	20150617230003.3
008	080820s2008----xo------------------slo-d
040			\|a STU \|b slo
041	0		\|a slo
044			\|a xo
100	1		\|a Tkačov, Peter, \|d 1987- \|4 aut \|u I300 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav aplikovanej informatiky \|X 29592 \|U I300 \|Y 180 \|7 A000029592
245	1		\|a Grafické znázornenie stavového priestoru pri verifikácii digitálnych systémov metódou model checking
260			\|b STU v Bratislave FIIT, \|c 2008
300			\|a 42 s \|c príl.
650		7	\|a počítačové inžinierstvo \|2 stusub
700	1		\|a Kotmanová, Daniela, \|d 1952- \|4 xxx \|u I100 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav počítačových systémov a sietí \|X 2157 \|U I100 \|Y 178 \|7 A000002157
996			\|c I*BAP158/08 \|l II680 \|s P \|a 0 \|w stu167978_0001