Christian Martin

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR, 2024

2022
Machine Learning for Rupture Risk Prediction of Intracranial Aneurysms: Challenging the PHASES Score in Geographically Constrained Areas.
Symmetry, 2022

2008
A Policy Control Mechanism in IS-IS Using Administrative Tags.
RFC, February, 2008

1993
Integrating CASE and UIMS for Automatic Software Construction.
Proceedings of the Human-Computer Interaction: Software and Hardware Interfaces, 1993


  Loading...