• 0 Citaties
20182019

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Alexander Fedotov actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Onderzoeksoutput

  • 1 Rapport
  • 1 Conferentiebijdrage

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 19-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
22 Downloads (Pure)

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January. blz. 1568-1573 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

  • Cursussen

    Computer systems

    1/09/09 → …

    Cursus

    Hardware verification

    1/09/1531/08/20

    Cursus

    Software specification

    1/09/15 → …

    Cursus