Wykaz publikacji wybranego autora

Radosław Klimek, dr hab. inż., prof. AGH

profesor nadzwyczajny

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

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Automatyczna weryfikacja modelu na etapie analizy wymagań — Automatic verification of the model at the stage of requirements analysis / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 209–216. — Bibliogr. s. 216, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

2

  • Business process formal verification approach based on deductive reasoning / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN: 978-83-7464-370-2. — S. 115–125. — Bibliogr. s. 125, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

3

  • Deduction based verification of business models — Weryfikacja modeli biznesowych metodą dedukcyjną / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Advanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 147). — ISBN: 978-83-7695-083-9. — S. 173–188. — Bibliogr. s. 187–188, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński, Michał Turek

    cyfrowy identyfikator dokumentu:

4

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Business process verification using semantic tableaux / Radosław KLIMEK, Paweł SKRZYŃSKI // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 201–208. — Bibliogr. s. 208, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Paweł Skrzyński

    cyfrowy identyfikator dokumentu: