Faculty of Natural Sciences and Mathematics

OrgUnit's Researchers publications
(Dept/Workgroup Publication)



Refined By:
Type:  Proceeding article
Author:  Koteska, Bojana
Subject:  Formal methods

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewTitleAuthor(s)Issue DateType
1Formal Specification of Scientific Applications Using Interval Temporal LogicKoteska, Bojana ; Pejov, LJupcho ; Mishev, Anastas 2014Proceeding article

Organization name
Faculty of Natural Sciences and Mathematics
City
Skopje
Country
Macedonia, the Former Yugoslav Republic of