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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kardoš, Martin (Verfasst von)
Weitere Verfasser:	Frištacký, Norbert, 1931- (Betreuung Doktorarbeit)
Format:	Manuskript Buch
Sprache:	Englisch
Veröffentlicht:	STU v Bratislave FIIT, 2005
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!

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