Limbajul Promela. Logici Temporale
Introducere Multe calculatoare sunt utilizate în domeniul sistemelor integrate, care sunt compuse de hardware, software, senzori, controlere si display-uri, şi care sunt destinate a fi folosite la nesfârşit şi fără supraveghere continuă. Trebuie doar să ne gîndim la avioane, monitoare medicale, precum şi reţelele de telefoane mobile pentru a aprecia complexitatea sistemelor integrate. Invariabil, aceste sisteme conţin mai multe procese care trebuie să probeze senzori şi să efectueze...
Domeniu: Inteligenta Artificiala