Modeling and verification of reactive software using LOTOS / Grzegorz ROGUS, Tomasz SZMUC // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 365–377. — Bibliogr. s. 377, Abstr.

Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania — Systematic correctness analysis in development of safety software / Tomasz SZMUC, Grzegorz ROGUS // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290. — Bibliogr. s. 290, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12-14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005

Weryfikacja poprawności względnej sieci Petriego — Verification of relative correctness of Petri nets / Piotr SZWED, Grzegorz ROGUS // 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. 305–314. — Bibliogr. s. 314, Streszcz., Summ.

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.