Faculty of Natural Sciences and Mathematics

OrgUnit's Researchers publications
(Dept/Workgroup Publication)



Refined By:
Fulltext:  With Fulltext
Author:  Mishev, Anastas
Subject:  Formal methods

Results 1-1 of 1 (Search time: 0.005 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