Browsing "Faculty of Computer Science and Engineering" by Subject Formal methods
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 |