Browsing "Faculty of Computer Science and Engineering" by Subject Software verification
Showing results 1 to 1 of 1
| Preview | Title | Author(s) | Issue Date | Type |
|---|---|---|---|---|
| Formal Specification of Scientific Applications Using Interval Temporal Logic | Koteska, Bojana ; Pejov, LJupcho ; Mishev, Anastas | 2014 | Proceeding article |