Monitoring Properties of Analog and Mixed-Signal Circuits

Oded Maler, Dejan Nickovic

    Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

    OriginalspracheEnglisch
    Seitenumfang22
    FachzeitschriftInternational Journal on Software Tools for Technology
    PublikationsstatusVeröffentlicht - 2012

    Research Field

    • Ehemaliges Research Field - Digital Safety and Security

    Diese Publikation zitieren