Zobrazeno 1 - 10
of 83
pro vyhledávání: '"Szpyrka, Marcin"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Archives of Control Sciences, Vol 26, Iss 3, Pp 339-365 (2016)
RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems. It
Externí odkaz:
https://doaj.org/article/918fbb455a6a4391b5853509784133b2
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kowalik Bartosz, Szpyrka Marcin
Publikováno v:
MATEC Web of Conferences, Vol 252, p 02003 (2019)
Modern cars produced for the last two decades are full of electronic devices called Electronic Control Units (ECU). They are responsible for collecting diagnostic data from different components such as the engine, breaks etc. using probes and sensors
Externí odkaz:
https://doaj.org/article/8a3fccb6eb184c2f80dd337d00ea81c5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
SZPYRKA, Marcin1 mszpyrka@agh.edu.pl, NALEPA, Grzegorz J.1 gjn@agh.edu.pl, KLUZA, Krzysztof1 kluza@agh.edu.pl
Publikováno v:
Informatica. 2017, Vol. 28 Issue 3, p525-545. 21p.
Autor:
Szpyrka, Marcin1 mszpyrka@agh.edu.pl, Jasiul, Bartosz2 b.jasiul@wil.waw.pl
Publikováno v:
Symmetry (20738994). Mar2017, Vol. 9 Issue 3, p32. 13p.
Publikováno v:
In IFAC Proceedings Volumes 2006 39(17):203-208
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.