Publicações

Templates as Heuristics for Proving Properties of Medical Devices

AuthID
P-00K-9T3

Author(s)

Harrison, MD

Campos, JC

Masci, P

Curzon, P

Editor(es)

Alomainy,A;Hao,Y;Whittow,W;Nikita,KS;Parini,CG

Tipo de Documento

Article

Year published

2016

Publicado

in EAI Endorsed Trans. Creative Technologies

Volume: 3, Número: 8, Páginas: e1

Conference

5Th Eai International Conference on Wireless Mobile Communication and Healthcare - Transforming Healthcare Through Innovations in Mobile and Wireless Technologies, Mobihealth 2015, Date: 14 October 2015 through 16 October 2015

Indexing

Scopus^®

Dblp^®/pt/publications/view/632643

Crossref^®

Handle^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.4108/eai.14-10-2015.2261743

DBLP: journals/eetct/HarrisonCMC16

Handle: https://hdl.handle.net/1822/51396

SCOPUS: 2-s2.0-85035015499

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Templates as Heuristics for Proving Properties of Medical Devices

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Templates as Heuristics for Proving Properties of Medical Devices

Links Úteis

Ajuda