Digital Library of the Silesian University of Technology contains 74 606 digital objects
Object
Title: Specification and verification of simple logic control programs using Frama C ; Specyfikacja i weryfikacja prostych programów sterowania logicznego z wykorzystaniem Frama C
Description:
Edition:
Vol. 32, No. 3B = No. 99 = Nr 1850
place:
Publisher:
Wydawnictwo Politechniki Śląskiej
Series:
Studia Informatica ; 1642-0489 ; Zeszyty Naukowe Politechniki Śląskiej. Informatyka
Resource Identifier:
Katalog Biblioteki-Zeszyty Naukowe ; Katalog Biblioteki-Artykuł ; oai:delibra.bg.polsl.pl:77010
Source:
Language:
Relation:
Zeszyty Naukowe Politechniki Śląskiej. Informatyka
Rights Management:
Wydawnictwo Politechniki Śląskiej
Access:
Object collections:
- Digital Library > COLLECTIONS OF PUBLICATIONS OF THE SILESIAN UNIVERSITY OF TECHNOLOGY > Zeszyty Naukowe Politechniki Śląskiej > Informatyka
Last modified:
Dec 20, 2023
In our library since:
Oct 25, 2023
Number of object content hits:
15
All available object's versions:
https://delibra.bg.polsl.pl/publication/86389
Show description in RDF format:
Show description in OAI-PMH format:
| Edition name | Date |
|---|---|
| Sadolewski, Jan ; Świder, Zbigniew : Specification and verification of simple logic control programs using Frama C | Dec 20, 2023 |
Objects Similar
Lubiński, Maciej
Grund, Damian
Zygmunt, Henryk Wróbel, Grzegorz Kwasnowski, Paweł Hayduk, Grzegorz Jachimski, Marcin
Sroczyński, Zdzisław
Sikora, Marek Proksa, Paweł
