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
  • [fragment książki, 2005]
  • TytułModeling and verification of reactive software using LOTOS
    AutorzyGrzegorz ROGUS, Tomasz SZMUC
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 365–377

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

2
  • [referat w czasopiśmie, 2005]
  • TytułSystematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania
    AutorzyTomasz SZMUC, Grzegorz ROGUS
    ŹródłoPomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

3
  • [fragment książki, 2005]
  • TytułWeryfikacja poprawności względnej sieci Petriego
    AutorzyPiotr SZWED, Grzegorz ROGUS
    ŹródłoZastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — S. 305–314

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

4
  • [fragment książki, 2005]
  • TytułZastosowanie języka LOTOS w procesie weryfikacji systemów reaktywnych
    AutorzyGrzegorz ROGUS, Piotr SZWED
    ŹródłoZastosowania teorii systemów / red. Ewa Kochan. — Kraków : WIMiR AGH, 2005. — S. 259–268

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: