Peter Deifel - Wissenschaftliche Veröffentlichungen

(1 - 7 von 8

)

FSIDIIN | Forensic Science International: Digital Investigation | Vol...

www.sciencedirect.com

Janine Schneider, Hans-Peter Deifel, Stefan Milius, Felix Freiling. Article : Download PDF. Article preview. select article VIDE - Vault App ...

dblp: Hans-Peter Deifel

dblp.uni-trier.de

List of computer science publications by Hans-Peter Deifel

wwwcip.cs.fau.de

wwwcip.informatik.uni-erlangen.de

Key fingerprint = 432F C F 26D9 EB48 DDC1 A17C F2CA 697B EAF2 uid Hans-Peter Deifel uid Hans-Peter Deifel (University) 020 [ ] Fingerprint OK ...

Hans-Peter Deifel · GitLab

frege.informatik.uni-erlangen.de

commented on issue#3 "Benchmark maximal file sizes for random WTAs" at Software / CoPaR ./bin/random-wta --monoid powerset --states symbols 0,0,0 ...

FMCAD Conference Automatic Verification of Application-Tailored OSEK Kernels: Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz SchröderProceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.

Tuesday, December 13, 2011; 14:00 Christoph CIP-Pool Informatik

wwwcip.informatik.uni-erlangen.de

... uid Hans-Peter Deifel &> uid Hans-Peter Deifel (University) &.uni-erlangen.de> 020 [ ] Fingerprint OK [ ] ID OK pub 1024D/F9741EB Key fingerprint = DB DAF F178 AAE1 CEE9 D73C 157F F974 1EB6 uid Richard Schaller &> ...