Publicações

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

AuthID
P-00R-K09

Author(s)

Bernardeschi, C

Domenici, A

Masci, P

Editor(es)

Lio, P; Zuliani, P

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in AUTOMATED REASONING FOR SYSTEMS BIOLOGY AND MEDICINE in Computational Biology Series, ISSN: 1568-2684

Volume: 30, Páginas: 215-242 (28)

Conference

International Workshop on Automated Reasoning for Systems Biology and Medicine (Arsbm), Date: SEP 20, 2016, Location: Univ Cambridge, Comp Lab, Cambridge, ENGLAND, Patrocinadores: Int Soc Computat Biol, Host: Univ Cambridge, Comp Lab

Indexing

Wos^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-17297-8_8

Wos: WOS:000503198000008

Source Identifiers

ISSN: 1568-2684

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Links Úteis

Ajuda