-
Modeliranje in specifikacija sistemov v realnem časuPogorelc, Janez ; Vlašić, Damir ; Jezernik, KarelDiskretne dogodkovne procese srečujemo na področjih kot so procesno vodenje, fleksibilni proizvodni sistemi, računalniške mreže. Pri takšnih sistemih mora biti razen logične pravilnosti delovanja ... zagotovljeno, da mikroračunalniški krmilni sistem reagira na spontane dogodke v določenih časovnih mejah. Predlagana je uporaba temporalne logike za specifikacijo, analizo in verifikacijo krmilnih sistemov.Vir: Zbornik radova (Str. 101/1-8)Vrsta gradiva - prispevek na konferenciLeto - 1991Jezik - slovenskiCOBISS.SI-ID - 2582788
Avtor
Pogorelc, Janez |
Vlašić, Damir |
Jezernik, Karel
Teme
avtomatska regulacija |
distribuirano računalniško vodenje |
krmilni sistem |
diskretni sistemi |
logika |
temporalna logika |
specifikacija |
verifikacija |
realni čas |
analiza |
modeliranje |
automatic control engineering |
distributed computer control |
control system |
discrete system |
logic |
temporal logic |
specification |
verification |
analysis |
real time |
modelling
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Pogorelc, Janez | 02212 |
Vlašić, Damir | 11474 |
Jezernik, Karel | 03018 |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.