Model checking response times in networked automation systems using jitter bounds

Srinivasan, Seshadhri; Buonopane, Furio; Vain, Juri; Ramaswamy, Srini (2015). Model checking response times in networked automation systems using jitter bounds. Computers in Industry, 74, 186−200.10.1016/j.compind.2015.06.012.
ajakirjaartikkel
Srinivasan, Seshadhri; Buonopane, Furio; Vain, Juri; Ramaswamy, Srini
  • Inglise
Automaatika võrkude kosteaja hindamine mudelkontrolli meetodil kasutades värelmisintervall hinnanguid
Computers in Industry
0166-3615
74
2015
186200
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

doi.org/10.1016/j.compind.2015.06.012

Lisainfo

networked Automation Systems (NAS); jitter; timed-automata; model checking; network latencies; industrial automation; response time (RT)
Science Citation Index Expanded (SCI-EXPANDED); Scopus