UTCB |

Language:
English
- Română

Cyber Physical System Applications Verification and Validation

Record Type:	Language materials, printed: monographic
Author:	Gavrilescu, Mădălin
Thesis advisor:	Jian, Ionel
Statement of Responsibility:	Mădălin Gavrilescu
Subsequent Statement of Responsibility:	cond. ştiinţific prof.dr.ing. Ionel Jian
Published:	Politehnica
Place of Publication:	Timişoara
Year of Publication:	2013
ISBN:	978-606-554-731-5
Description:	111 p. : fig.; 24 cm
Notes:	Univ."Politehnica" din Timişoara. Teză de doctorat. Cond. ştiinţific prof. univ. dr. fiz. Ionel Jian
Notes:	Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
Language:	English
Series:	Seria 14 : Calculatoare şi tehnologia informaţiei. ISSN 2069-8216
Subject:	știința și tehnologia computerelor prelucrarea datelor
Subject:	aplicaţii cibernetice ale sistemelor fizice verificare şi validare
Subject:	Schimb documentar
Subject:	Titluri în limbă străină
Subject:	Teze de doctorat
Subject:	76
Subject:	2014
Shelf number:	004.41/G 26
Classification:	004.41:007(043)
Classification:	004.41
Classification:	007
Classification:	043
Notes:	Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
Notes:	sisteme cibernetice, limbaj Z, verificare formală a propietăţilor statice

004.41/G 26
GAVRILESCU, Mădălin

Cyber Physical System Applications Verification and Validation [*Carte tipărită] / Mădălin Gavrilescu; cond. ştiinţific prof.dr.ing. Ionel Jian.- Timişoara : Politehnica, 2013
111 p. : fig. ; 24 cm. - (Seria 14 : Calculatoare şi tehnologia informaţiei. ISSN 2069-8216 ; 17)
Univ."Politehnica" din Timişoara. Teză de doctorat. Cond. ştiinţific prof. univ. dr. fiz. Ionel Jian
Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare.
sisteme cibernetice, limbaj Z, verificare formală a propietăţilor statice.
ISBN: 978-606-554-731-5: 11.00

GAVRILESCU, Mădălin

004.41:007(043)
004.41
007
043
știința și tehnologia computerelor prelucrarea datelor aplicaţii cibernetice ale sistemelor fizice verificare şi validare

LDR:01251nam 2200313 001 122449
009 ubfixit050.016 Cyber Physical System Applications Verification and Validation
010 $a 978-606-554-731-5 $d 11.00
020 $b 3/2014
100 $a 20220428u m u0rumy50 ba
101 0 $a eng
109 0 $a d
122 0 $a d
200 0 $a Cyber Physical System Applications Verification and Validation $f Mădălin Gavrilescu $g cond. ştiinţific prof.dr.ing. Ionel Jian $b *Carte tipărită
210 # # $a Timişoara $L s4612 $c Politehnica $d 2013
215 $a 111 p. $c fig. $d 24 cm
225 0 $a Seria 14 : Calculatoare şi tehnologia informaţiei. ISSN 2069-8216 $v 17
300 $a Univ."Politehnica" din Timişoara. Teză de doctorat. Cond. ştiinţific prof. univ. dr. fiz. Ionel Jian
300 $a Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
327 # # $a Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
327 # # $a sisteme cibernetice, limbaj Z, verificare formală a propietăţilor statice
345 $b 2014/65
410 $0 93067 $t Seria 14 : Calculatoare şi tehnologia informaţiei. ISSN 2069-8216
606 $3 126570 $a știința și tehnologia computerelor prelucrarea datelor
606 $3 129374 $a aplicaţii cibernetice ale sistemelor fizice verificare şi validare
608 # $3 111078 $a Schimb documentar
608 # $3 111060 $a Titluri în limbă străină
608 # $3 111142 $a Teze de doctorat
608 $3 111083 $a 76
608 $3 111096 $a 2014
675 $a 004.41:007(043)
675 $a 004.41
675 $a 007
675 $a 043
679 $a 004 $d 0
700 $3 26073 $a Gavrilescu $b Mădălin
702 $3 35372 $4 727 $a Jian $b Ionel
801 0 $a RO $b UTCB $c 20220428 $g unimarc
850 $a UTCB
852 # # $j 004.41/G 26