Automated Formal Verification for UML-based Model Driven Design of Embedded Systems

Salvato in:

Dettagli Bibliografici
Autore principale:	Kardoš, Martin (Autore)
Altri autori:	Frištacký, Norbert, 1931- (Relatore della tesi)
Natura:	Manoscritto Libro
Lingua:	inglese
Pubblicazione:	STU v Bratislave FIIT, 2005
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

View in STU Opac

MARC


LEADER	00000ntm a22000003a 4500
001	stu113389
005	20180423105542.9
008	060308s2005----xo------------------eng-d
040			\|a STU \|b slo
041	0		\|a eng
044			\|a xo
100	1		\|a Kardoš, Martin \|4 aut \|u E220 \|U FEI Fakulta elektrotechniky a informatiky \|T FEI Katedra informatiky a výpočtovej techniky \|X 56185 \|U E220 \|Y 69 \|7 56185
245	1		\|a Automated Formal Verification for UML-based Model Driven Design of Embedded Systems
260			\|b STU v Bratislave FIIT, \|c 2005
300			\|a 163 s \|c príl.
700	1		\|a Frištacký, Norbert, \|d 1931- \|4 ths \|u I100 \|U FIIT Fakulta informatiky a informačných technológií \|T FIIT Ústav počítačových systémov a sietí \|X 2206 \|U I100 \|Y 178 \|7 2206
996			\|b IDIZP10/06 \|c I*DIZP10/06 \|l II680 \|s A \|a 24 \|w stu113389_0001