Search results for: computer-aided engineering, design automation, finite-element method (fem), microwave circuits, modelorder reduction (mor), reduced-basis methods (rbms).

• Formal Methods in Computer-Aided Design

  Conferences

• International Conference on Formal Engineering Methods [FEM]

  Conferences

• IEEE/ACM International Conference on Computer-Aided Design

  Conferences

• Design Automation Conf

  Conferences

• Computer Aided Verification

  Conferences

• Finite Differences-Finite Elements-Finite Volumes-Boundary Elements

  Conferences

• Association for Computer-Aided Architectural Design Research in Asia (CAADRIA) annual conference

  Conferences

• Design, Automation and Test in Europe Conference

  Conferences

• Asia and South Pacific Design Automation Conference (Asia Pacific Design Automation Conference ASDAC)

  Conferences

• International Conference on Methods and Models in Automation and Robotics

  Conferences

• International Workshop on Computer-Aided Software Eng

  Conferences

• Exploring Modelling Methods in Systems Analysis and Design

  Conferences

• Cooperative Design, Visualization, and Engineering

  Conferences

• Mathematical Methods in Computer Science

  Conferences

• International Symposium on Computer Design

  Conferences

• Workshop on the Arithmetic of Finite Fields

  Conferences

• International Conference on Formal Methods and Models for Co-Design

  Conferences

• Symposia on VLSI Technology and Circuits

  Conferences

• International Symposium on Circuits and Systems

  Conferences

• International Conference on Computer Methods in Mechanics

  Conferences

• International Conference on Software Engineering and Formal Methods

  Conferences

• IEEE Systems and Information Engineering Design Symposium

  Conferences

• Formal Methods in Software Engineering and Defence Systems Workshop

  Conferences

• Workshop on Aspect Oriented Requirements Engineering and Architecture Design

  Conferences

• IEEE International Solid-State Circuits Conference

  Conferences

• International Conference on Computer Supported Cooperative Work in Design

  Conferences

• Automation of Software Test

  Conferences

• IFAC Conference on Automation

  Conferences

• World Congress in Computer Science, Computer Engineering, and Applied Computing

  Conferences

• ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code

  Conferences

• Australasian Conference on Robotics and Automation

  Conferences

• International Conference on Relational and AlgebraicMethods in Computer Science (International Conference on Relational Methods in Computer Science [RelMiCS])

  Conferences

• Integrated Formal Methods

  Conferences

• Formal Methods Pacific

  Conferences

• International Symposium on Formal Methods (Formal Methods Europe [FME])

  Conferences

• International Symposium on Automation and Robotics in Construction

  Conferences

• IEEE International Conference on Information and Automation

  Conferences

• IEEE International Conference on Robotics and Automation

  Conferences

• Participatory Design Conference

  Conferences

• Design and Aesthetics in Visualisation

  Conferences

• Design for User Experience

  Conferences

• IEEE International Conference on Engineering of Complex Computer Systems

  Conferences

• ISCA International Conference on Computer Applications in Industry and Engineering

  Conferences

• Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)

  Conferences

• Computational Methods in Water Resources

  Conferences

• Visual Languages and Formal Methods

  Conferences

• IEEE International Conference and Workshop on the Engineering of Computer Based Systems

  Conferences

• International Conference on Control, Automation, Robotics and Vision

  Conferences

• IEEE Symposium on Computational Intelligence in Control and Automation

  Conferences

• International Conference on Informatics in Control, Automation and Robotics

  Conferences