• Part of
    Ubiquity Network logo
    Interesse beim KIT-Verlag zu publizieren? Informationen für Autorinnen und Autoren

    A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems

    Francisco Mendoza Cervantes