Personensuche
X
?
2023 IEEE Cognitive Communications for Aerospace Applications Workshop (CCAAW) ,
1
Neuromorphic Hardware in Outer Space: Software Defined Netw..:
, In:
?
Proceedings of the 2011 International Symposium on Software Testing and Analysis ,
2
Polyglot : modeling and analysis for multiple Statechart..:
, In:
?
Proceedings of the 2008 international symposium on Software testing and analysis ,
3
Combining unit-level symbolic execution and system-level co..:
, In:
?
3D Bioprinting and Nanotechnology in Tissue Engineering and Regenerative Medicine ,
11
List of Contributors:
, In:
?
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering ,
12
Analysis and testing of PLEXIL plans:
, In:
?
Proceedings of the FSE/SDP workshop on Future of software engineering research ,
13
Static analysis for software assurance : soundness, scal..:
, In:
?
Proceedings of the FSE/SDP workshop on Future of software engineering research ,
14
N-version programming in WCET analysis : revisiting a di..:
, In:
?
Proceedings of the FSE/SDP workshop on Future of software engineering research ,
15