Personensuche
X
?
2024 IEEE 18th International Conference on Semantic Computing (ICSC) ,
1
Enabling Development of an Extensible, Multi-Perspective On..:
, In:
?
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops; Lecture Notes in Computer Science ,
2
RACK: A Semantic Model and Triplestore for Curation of Assu..:
, In:
?
The Semantic Web – ISWC 2023; Lecture Notes in Computer Science ,
3
Aviation Certification Powered by the Semantic Web Stack:
, In:
?
2022 IEEE 16th International Conference on Semantic Computing (ICSC) ,
4
A Semantic Reference Model for Capturing System Development..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Continuous Formal Verification of Amazon s2n:
, In:
?
2024 IEEE 74th Electronic Components and Technology Conference (ECTC) ,
9