Publications

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

AuthID
P-00R-K09

Author(s)

Bernardeschi, C

Domenici, A

Masci, P

Editor(s)

Lio, P; Zuliani, P

Document Type

Proceedings Paper

Year published

2019

Published

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

Volume: 30, Pages: 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, Sponsors: Int Soc Computat Biol, Host: Univ Cambridge, Comp Lab

Indexing

Wos^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

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

Wos: WOS:000503198000008

Source Identifiers

ISSN: 1568-2684

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Useful Links

Get Help

Federated Authentication (Click on the image)

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Useful Links

Get Help