Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023 / / Alexander Nadel, Kristin Yvonne Rozier.
Saved in:
VerfasserIn: | |
---|---|
TeilnehmendeR: | |
Place / Publishing House: | Wien : : TU Wien Academic Press,, 2023. |
Year of Publication: | 2023 |
Language: | English |
Series: | Conference series: formal methods in computer-aided design, volume 4
|
Physical Description: | 1 online resource. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Computer aided design guide for architecture, engineering, and construction / Ghassan Aouad ... [et al.].
Published: (2012.) -
Computer-aided design, manufacturing, modeling and simulation IV : : selected, peer reviewed papers from the 4th International Conference on Computer-Aided Design, Manufacturing, Modeling and Simulation (CDMMS 2014), September 13-15, 2014, Chongqing, China / / edited by Maode Ma and Xilong Qu.
Published: (2014.) -
Engineering computations : : international journal for computer-aided engineering and software. / Vol. 22, No. 5/6, : Engineering structures: nonclinical analysis optimal design and identification / Guest editors Professor Adnan Ibrahimbegovic and Professor Bostjan Brank.
Published: (c2005.) -
Engineering computations : : international journal for computer-aided engineering and software : ICASI 2015 / / guest editor Dr Teen-Hang Meen.
Published: (2016.) -
Formal methods applied to complex systems / / edited by Jean-Louis Boulanger.
Published: (2014.)