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
  • A method of a systematic system analysis using temporal logic
2
  • Możliwości wykorzystania logiki temporalnej w analizie diagramów UML – wybrane zagadnienia
3
  • Systemy czasu rzeczywistego
4
  • Weryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
5
  • Zagadnienie ryzyka w projekcie informatycznym – analiza i zarządzanie ryzykiem