Yayınlar & eserler

Başlık, yazar veya dergi

Yayın türüTümüMakaleBildiriKitap

YılTüm yıllar20252024202320222015201220112006200520031999

İndeksTüm indekslerCMCI: CompuMath Citation IndexSCI-ExpandedTR DİZİN

SıralamaEn yeniden eskiyeEn eskiden yeniyeBaşlığa göre A–Z

Filtrele ↗

Yayınlar yıl bilgisine göre en yeniden eskiye sıralanır; tarihsiz yayınlar sonda gösterilir.

1. 01
   Makale2015UluslararasıSCI-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 ↗Yayına eriş ↗

   Bibliyografik ayrıntılar

   Yazarlar

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

   Dergi

   The Computer Journal

   Cilt

   58

   Sayı

   11

   ISSN

   0010-4620

   İndeks

   SCI-Expanded

   Kapsam

   Uluslararası

   Dil

   İngilizce

   Makale türü

   Özgün Makale

   Sayfalar

   2804–2823