Szczegóły publikacji

Opis bibliograficzny

Modelowanie systemów czasu rzeczywistego z zastosowaniem czasowych sieci Petriego — Real-time system modelling – timed Petri nets approach / Sławomir Samolej, Tomasz SZMUC // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 45–54. — Bibliogr. s. 53–54, Streszcz., Abstr.

Autorzy (2)

Dane bibliometryczne

ID BaDAP11505
Data dodania do BaDAP2003-02-03
Rok publikacji2002
Typ publikacjimateriały konferencyjne (aut.)
Otwarty dostęptak

Publikacje, które mogą Cię zainteresować

fragment książki
#11516Data dodania: 3.2.2003
Formalne podejście do projektowania elementów sterujących dla systemów czasu rzeczywistego — Formal approach to design of control elements of real-time systems / Marcin SZPYRKA // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 167–176. — Bibliogr. s. 176, Streszcz., Abstr.
SzczegółyLink
fragment książki
#11517Data dodania: 3.2.2003
Konstrukcja umów typu SLA dla outsourcing'u procesów i systemów czasu rzeczywistego — Developing Service Level Agreement for outsourced processes and real time systems / Piotr SZYMCZYK // W: Systemy Czasu Rzeczywistego SCR'02 : IX [dziewiąta] konferencja : Ustroń, 16–19 września 2002 : materiały konferencyjne / red. Piotr Gaj, Andrzej Kwiecień. — Gliwice : Instytut Informatyki Politechniki Śląskiej, 2002. — S. 293–300. — Bibliogr. s. 300, Streszcz., Abstr.
SzczegółyLink