Faculty of Natural Sciences and Mathematics

OrgUnit's Researchers publications
(Dept/Workgroup Publication)



Refined By:
Fulltext:  With Fulltext
Date Issued:  [2010 TO 2019]
Author:  Mishev, Anastas
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