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
  • Proposal to improve the requirements process through formal verification using deductive approach / Radosław KLIMEK // W: ENASE 2012 : proceedings of the 7th international conference on Evaluation of Novel Approaches to Software Engineering : Wrocław, Poland, 29–30 June, 2012 / eds. Joaquim Filipe, Leszek Maciaszek. — Portugal : SciTePress – Science and Technology Publications, cop. 2012 + CD-ROM. — ISBN: 978-989-8565-13-6. — S. 105–114. — Bibliogr. s. 113–114, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: