ATIFLAR

Diğer indexler tarafından taranan dergilerde yayımlanmış yayınlarda yapılan atıf

  • Atıf Yapan :
    Karvi T, Tienari M, Kaivola R (2005-2006)
    Stepwise development of process-algebraic specifications in decorated trace semantics - FORMAL METHODS IN SYSTEM DESIGN
    Atıf Yapılan :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Atıf Yapan :
    Cleaveland R, Sims ST (2002-2003)
    Generic tools for verifying concurrent systems - SCIENCE OF COMPUTER PROGRAMMING
    Atıf Yapılan :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING
  • Atıf Yapan :
    Lee D, Yannakakis M (1996-1997)
    Principles and methods of testing finite state machines - A survey - PROCEEDINGS OF THE IEEE
    Atıf Yapılan :
    COMPUTING DIAGNOSTIC-TESTS FOR INCORRECT PROCESSES - IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS

İndex dışı uluslararası hakemli degilerde yayımlanmış yayınlarda yapılan atıf

  • Atıf Yapan :
    Smolka, Scott A. , Lewis, Philip M. , (2003-2004)
    Specification and verification for concurrent systems with graphical and textual editors - US Patent 6385765
    Atıf Yapılan :
    Computing Diagnostic Tests for Incorrect Processes - Proceedings of the IFIP Symposium on Protocol Specification, Testing and Verification.

Uluslararası yayınevleri tarafından yayımlanmış kitaplarda yapılan atıf

  • Atıf Yapan :
    RANCE CLEVAELAND, OLEG SOKOLSKY (2001-2002)
    Handbook of Process Algebra - Elsevier
    Atıf Yapılan :
    GENERATING DIAGNOSTIC INFORMATION FOR BEHAVIORAL PREORDERS - DISTRIBUTED COMPUTING

WoS indexleri tarafından taranan dergilerde yayımlanmış yayınlarda yapılan atıf

  • Atıf Yapan :
    Makela, Satu-Marja , Jarvinen, Sari , (2014-2015)
    Capturing Supermarket Shopper Behavior Using Smart Basket - SPRINGER-VERLAG BERLIN, GERMANY
    Atıf Yapılan :
    Shopper Behaviour Analysis Based on 3D Situation Awareness Information - VIDEO ANALYTICS FOR AUDIENCE MEASUREMENT
  • Atıf Yapan :
    Dawson, Linda , Johnson, Maree , (2014-2015)
    Perceived Usefulness of Data Entry Tools in Medical Encounters: A Survey - JOURNAL OF MEDICAL SYSTEMS
    Atıf Yapılan :
    A usability framework for speech recognition technologies in clinical handover: A pre-implementation study - JOURNAL OF MEDICAL SYSTEMS