UTCB |

Limba:
Română
- English

Cyber Physical System Applications Verification and Validation

Tipul înregistrării:	Text tipărit: monografic
Autor:	Gavrilescu, Mădălin
Conducătorul tezei:	Jian, Ionel
Responsabilitate:	Mădălin Gavrilescu
Responsabilitate secundară:	cond. ştiinţific prof.dr.ing. Ionel Jian
Editura:	Politehnica
Locul publicării:	Timişoara
Anul Ediției:	2013
ISBN:	978-606-554-731-5
Descriere:	111 p. : fig.; 24 cm
Note:	Univ."Politehnica" din Timişoara. Teză de doctorat. Cond. ştiinţific prof. univ. dr. fiz. Ionel Jian
Note:	Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
Limba:	Engleză
Serie:	Seria 14 : Calculatoare şi tehnologia informaţiei. ISSN 2069-8216
Subiect:	știința și tehnologia computerelor prelucrarea datelor
Subiect:	aplicaţii cibernetice ale sistemelor fizice verificare şi validare
Subiect:	Schimb documentar
Subiect:	Titluri în limbă străină
Subiect:	Teze de doctorat
Subiect:	76
Subiect:	2014
Cota topografică:	004.41/G 26
Clasificare:	004.41:007(043)
Clasificare:	004.41
Clasificare:	007
Clasificare:	043
Note conţinut (cuprins):	Aplicaţii cibernetice ale sistemelor fizice, verificare şi validare
Note conţinut (cuprins):	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