Title:

Conversion of ST Control Programs to ANSI C for Verification Purposes

Group publication title:

e-Informatica Software Engineering Journal

Creator:

Sadolewski, Jan

Contributor:

Huzar, Zbigniew. Redakcja ; Madeyski, Lech. Redakcja

Subject and Keywords:

informatyka - czasopisma

Description:

e-Informatica Software Engineering Journal, Vol. 5, 2011, Issue 1, s. 65-76

Publisher:

Oficyna Wydawnicza Politechniki Wrocławskiej

Place of publication:

Wrocław

Date:

2011

Resource Type:

artykuł

Format:

application/pdf

Resource Identifier:

DOI 10.2478/v10233-011-0031-3

Source:

<sygn. PWr A6031III> ; click here to follow the link ; click here to follow the link

Language:

eng

Relation:

e-Informatica Software Engineering Journal ; e-Informatica Software Engineering Journal, Vol. 5, 2011, Issue 1

Rights:

Wszystkie prawa zastrzeżone (Copyright)

Access Rights:

Dla wszystkich w zakresie dozwolonego użytku

Location:

Politechnika Wrocławska