Imitacinis modeliavimas visomis sistemos funkcionavimo trajektorijomis

Imitacinis modeliavimas visomis sistemos funkcionavimo trajektorijomis

Gausybė sudėtingų realaus laiko sistemų turi būti specifikuotos įvertinant visas galimas situacijas. Specifikacijos teisingumas reiškia, kad sistema užduotomis sąlygomis pasieks norimą rezultatą. Norėdami užtikrinti, kad aprašyta specifikacija yra teisinga, reikia atlikti sistemos verifikavimą ir va...

Full description

Bibliographic Details
Main Author: Lukavičius, Pranas
Other Authors: Telksnys, Laimutis
Format: Dissertation
Language:Lithuanian
Published: Lithuanian Academic Libraries Network (LABT) 2007
Subjects:
Informatics
Imitacinis modeliavimas
Realaus laiko sistemos
Pasiekiamų būsenų medis
Simulation
Real time systems
Reachable states graph
Online Access:http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2007~D_20070816_144111-26846/DS.005.0.01.ETD

Internet

http://vddb.library.lt/fedora/get/LT-eLABa-0001:E.02~2007~D_20070816_144111-26846/DS.005.0.01.ETD

Similar Items