Szczegóły publikacji

Opis bibliograficzny

Zastosowanie liniowej funkcji obserwacji do analizy poprawności systemów czasu rzeczywistego — Application of linear observation function to the correctness verification of real-time systems / Piotr SZWED // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN: 8386856335. — S. 158–198. — Bibliogr. s. 197–198, Streszcz., Abstr.

Autor

Dane bibliometryczne

ID BaDAP11567
Data dodania do BaDAP2003-02-04
Rok publikacji2001
Typ publikacjifragment książki
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#11575Data dodania: 4.2.2003
Wykorzystanie wieloprocesorowych systemów czasu rzeczywistego do przetwarzania i analizy obrazów cyfrowych — Application of multiprocessor real-time systems in image processing and analysis / Mirosław GAJER // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN: 8386856335. — S. 513–531. — Bibliogr. s. 531, Streszcz., Abstr.
SzczegółyLink
fragment książki
#11568Data dodania: 4.2.2003
Analiza czasowa systemów czasu rzeczywistego — Time analysis of real-time systems / Jan WEREWKA // W: Analiza i projektowanie systemów komputerowych czasu rzeczywistego o różnym stopniu rozproszenia / red. Jan Werewka, Tomasz Szmuc ; Polskie Towarzystwo Informatyczne. Oddział Małopolski ; Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Katedra Automatyki. — Kraków : PTI. Oddz. Małopolska przy współpr. KA AGH, 2001. — ISBN: 8386856335. — S. 199–226. — Bibliogr. s. 224-226, Streszcz., Abstr.
SzczegółyLink