Publications & works

Title, author or journal

Publication typeAllArticleConference paperBook

YearAll years20252024202320222015201220112006200520031999

IndexAll indexesCMCI: CompuMath Citation IndexSCI-ExpandedTR DİZİN

Sort orderNewest firstOldest firstTitle A–Z

Filter ↗

Publications are listed by year, newest first; undated publications appear last.

1. 01
   Article2015InternationalSCI-Expanded

   A Methodology For Resolution Mapping For Cross-Resolution Simulation Using Event-B

   Kara Ahmet, Oğuztüzün Halit, Alpdemir Mahmut Nedim

   The Computer Journal · Cilt 58 · Sayı 11 · ss. 2804–2823

   DOI: 10.1093/comjnl/bxu126 ↗Access publication ↗

   Bibliographic details

   Authors

   Kara Ahmet, Oğuztüzün Halit, Alpdemir Mahmut Nedim

   Journal

   The Computer Journal

   Volume

   58

   Issue

   11

   ISSN

   0010-4620

   Index

   SCI-Expanded

   Scope

   International

   Language

   English

   Makale türü

   Özgün Makale

   Pages

   2804–2823