Synonyme wurden verwendet für: Entwurf rechnerunterstützter Entwurf
Suche ohne Synonyme: keywords:(rechnerunterstützter Entwurf)

1–2 von 2 Ergebnissen
|

    Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

    Champion, Adrien / Dierkes, Michael / Roux, Pierre et al. | SAE Technical Papers | 2013
    Schlagwörter: CAD, CAM, and CAE

    Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems

    Champion, Adrien / Roux, Pierre / Garoche, Pierre-loïc et al. | SAE Technical Papers | 2011
    Schlagwörter: CAD, CAM, and CAE