Topology Based Automatic Formal Model Generation for Point Automation Systems
Information Technology And Control, Vol. 44, No. 1, Mart 2015, s. 98-111, ISSN: 1392-124X
ÖZ MUHAMMED ALİ NUR,ŞENER İBRAHİM,KAYMAKÇI ÖZGÜR TURAY,ÜSTOĞLU İLKER,CANSEVER GALİP