Verifying Bio-Electronic Systems.

Joseline Heuer, Rene Krenz-Baath, Roman Obermaisser

Browse the full DDECS paper archive.