Security engineering based on structured formal reasoning

Andreas Fuchs, Carsten Rudolph

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the ASE International Conference on BioMedical Computing (BioMedCom 2012)
Place of PublicationPiscataway NJ USA
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages145 - 152
Number of pages8
Volume2013
ISBN (Print)9780769549385
DOIs
Publication statusPublished - 2013
Externally publishedYes
EventASE International Conference on Biomedical Computing (BioMedCom) 2013 - Washington, United States of America
Duration: 8 Sep 201314 Sep 2013

Conference

ConferenceASE International Conference on Biomedical Computing (BioMedCom) 2013
Abbreviated titleBioMedCom 2013
CountryUnited States of America
CityWashington
Period8/09/1314/09/13

Cite this