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

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

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: