Wykaz publikacji wybranego autora

Leszek Kotulski, prof. dr hab.

profesor zwyczajny

Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering
WEAIiIB-kis

  • 2018

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

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-0164-0048 orcid iD

ResearcherID: C-8435-2013

Scopus: 22980169200

PBN: 5e70922b878c28a04739116a

OPI Nauka Polska

System Informacyjny AGH (SkOs)

1

  • Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych — Algorithm of state diagrams merging in embedded systems modeling / Leszek KOTULSKI, Adam SĘDZIWY // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 3, s. 377–388. — Bibliogr. s. 387–388, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-03/Auto_2011_3_26.pdf

  • słowa kluczowe: systemy wbudowane, Alvis, grafy LTS

    keywords: embedded systems, Alvis, LTS graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

2

  • GRADIS – środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań) — GRADIS – environment for Distributed Graph Transformation (from the five year perspective) / Leszek KOTULSKI // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 150–151. — Bibliogr. s. 150–151, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Inter-agent communication protocol supporting distributed graph transformations / Leszek KOTULSKI, Adam SĘDZIWY // W: Problems of dependability and modelling / eds. Jacek Mazurkiewicz, [et al.]. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2011. — (Monographs of System Dependability ; vol. 4). — ISBN: 978-83-7493-612-5. — S. 143–156. — Bibliogr. s. 155–156

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Adam Sędziwy

    cyfrowy identyfikator dokumentu:

4

  • Introduction to modelling embedded systems with Alvis — Wprowadzenie do modelowania systemów wbudowanych w języku Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Wojciech Witalec, Jarosław Baniewicz, Leszek KOTULSKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2011 t. 15 z. 2, s. 435–442. — Bibliogr. s. 442, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2011-02/Auto43.pdf

  • słowa kluczowe: metody formalne, Alvis, weryfikacja systemów wbudowanych, modelowanie systemów wbudowanych

    keywords: formal methods, Alvis, embedded systems modelling, embedded systems verification

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu:

5

  • Modelling of signals handling with Alvis / Marcin SZPYRKA, Piotr MATYASIK, Rafał MRÓWKA, Leszek KOTULSKI // W: MIXDES 2011 : mixed design of integrated circuits and systems : 18\textsuperscript{th} international conference : Gliwice, Poland, 16–18 June, 2011 : book of abstracts / ed. Andrzej Napieralski. — Łódź : Technical University of Łódź. Department of Microelectronics & Computer Science, cop. 2011. — S. 160. — Pełny tekst W: MIXDES 2011 [Dokument elektroniczny] : mixed design of integrated circuits and systems : proceedings of the 18th international conference : Gliwice, Poland, 16–18 June 2011. — Wersja do Windows. — Dane tekstowe / ed. Andrzej Napieralski. — [Poland : Technical University of Łódź. Department of Microelectronics & Computer Science], cop. 2011. — S. 627–631. — Wymagania systemowe: Adobe Acrobat Reader ; napęd CD-ROM. — Bibliogr. s. 631, Abstr. — ISBN 978-83-932075-0-3. — Marcin Szpyrka – dod. afiliacja: Institute of Physics, Jan Kochanowski University, Kielce

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Piotr Matyasik, Rafał Mrówka

    cyfrowy identyfikator dokumentu: