Conversion of ST Control Programs to ANSI C for Verification Purposes
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wroclaw University of Science and Technology
2011-01-01
|
| Series: | e-Informatica Software Engineering Journal |
| Online Access: | http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_5/eInformatica2011Art5.pdf |
| _version_ | 1818276811986960384 |
|---|---|
| author | Sadolewski Jan |
| author_facet | Sadolewski Jan |
| author_sort | Sadolewski Jan |
| collection | DOAJ |
| first_indexed | 2024-12-12T22:51:35Z |
| format | Article |
| id | doaj.art-6f56e97bc0534da797ba81b6567a1f3f |
| institution | Directory Open Access Journal |
| issn | 1897-7979 2084-4840 |
| language | English |
| last_indexed | 2024-12-12T22:51:35Z |
| publishDate | 2011-01-01 |
| publisher | Wroclaw University of Science and Technology |
| record_format | Article |
| series | e-Informatica Software Engineering Journal |
| spelling | doaj.art-6f56e97bc0534da797ba81b6567a1f3f2022-12-22T00:09:03ZengWroclaw University of Science and Technologye-Informatica Software Engineering Journal1897-79792084-48402011-01-0151657610.2478/v10233-011-0031-3Conversion of ST Control Programs to ANSI C for Verification PurposesSadolewski Janhttp://www.e-informatyka.pl/attach/e-Informatica_-_Volume_5/eInformatica2011Art5.pdf |
| spellingShingle | Sadolewski Jan Conversion of ST Control Programs to ANSI C for Verification Purposes e-Informatica Software Engineering Journal |
| title | Conversion of ST Control Programs to ANSI C for Verification Purposes |
| title_full | Conversion of ST Control Programs to ANSI C for Verification Purposes |
| title_fullStr | Conversion of ST Control Programs to ANSI C for Verification Purposes |
| title_full_unstemmed | Conversion of ST Control Programs to ANSI C for Verification Purposes |
| title_short | Conversion of ST Control Programs to ANSI C for Verification Purposes |
| title_sort | conversion of st control programs to ansi c for verification purposes |
| url | http://www.e-informatyka.pl/attach/e-Informatica_-_Volume_5/eInformatica2011Art5.pdf |
| work_keys_str_mv | AT sadolewskijan conversionofstcontrolprogramstoansicforverificationpurposes |