Open AccessBigNFC: Novel Formal model for NFC based context-aware applications
Author(s) -
Aicha Nabet,
Rachid Boudour
Publication year - 2021
Publication title -
informatica
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.172
H-Index - 34
eISSN - 1854-3871
pISSN - 0350-5596
DOI - 10.31449/inf.v45i5.3496
Subject(s) - correctness , computer science , rewriting , context (archaeology) , formal verification , formal methods , field (mathematics) , formal description , software engineering , theoretical computer science , distributed computing , programming language , paleontology , mathematics , pure mathematics , biology