Szczegóły publikacji

Opis bibliograficzny

Zastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych — Application of LOTOS in verification of reactive systems / Grzegorz ROGUS, Piotr SZWED // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów. — Opis częśc. wg okł. — S. 259–268. — Bibliogr. s. 268, Streszcz., Summ.

Autorzy (2)

Dane bibliometryczne

ID BaDAP24561
Data dodania do BaDAP2005-11-18
Rok publikacji2005
Typ publikacjifragment książki
Otwarty dostęptak
Czasopisma/serieProblemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics, Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki

Publikacje, które mogą Cię zainteresować

fragment książki
#15452Data dodania: 17.2.2004
Ocena niezawodności systemów zautomatyzowanych na etapie projektowania — Assessment of the reliability of the automated systems in design phase / Lech A. BUKOWSKI // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2003. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 12). — Opis częśc. wg okł. — S. 37–42. — Bibliogr. s. 42, Streszcz., Summ.
SzczegółyLink
fragment książki
#24566Data dodania: 18.11.2005
Monitorowanie systemów operacyjnych czasu rzeczywistego za pomocą protokołu SNMP — Monitoring real-time system / Magdalena SZYMCZYK, Piotr SZYMCZYK // W: Zastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — (Problemy Inżynierii Mechanicznej i Robotyki = Problems of Mechanical Engineering and Robotics) ; (Monografie / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydział Inżynierii Mechanicznej i Robotyki ; nr 3). — Na s. tytułowej: Zastosowanie teorii systemów. — Tyt. właśc. na okł.: Zastosowania teorii systemów. — Opis częśc. wg okł. — S. 341–348. — Bibliogr. s. 348, Streszcz., Summ.
SzczegółyLink