Wykaz publikacji wybranego autora

Grzegorz Rogus, dr inż.

starszy wykładowca

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-1882-8717 połącz konto z ORCID

ResearcherID: brak

Scopus: 56004925400

PBN: 5e70922c878c28a0473911cf

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • 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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

2

  • 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.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu: