Presenter Full Program · Contributors · Organizations · Search Program · My AgendaMore…Search ProgramMy AgendaRadu GrosuVienna University of TechnologyPresentationsResearch ManuscriptTD-Magic: From Pictures of Timing Diagrams to Formal SpecificationsAIRISC-VAI/ML Application and Infrastructure
