1-18 of 18
Formal methods
Close
Follow your search
Access your saved searches in your account

Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Proceedings Papers

Proc. ASME. DETC91, 3rd International Conference on Design Theory and Methodology, 201-208, September 22–25, 1991
Paper No: DETC1991-0049
Proceedings Papers

Proc. ASME. DETC-CIE96, Volume 4: 8th International Conference on Design Theory and Methodology, V004T04A018, August 18–22, 1996
Paper No: 96-DETC/DTM-1525
Proceedings Papers

Proc. ASME. IDETC-CIE2000, Volume 4: 12th International Conference on Design Theory and Methodology, 355-365, September 10–13, 2000
Paper No: DETC2000/DTM-14577
Proceedings Papers

Proc. ASME. IDETC-CIE2020, Volume 6: 25th Design for Manufacturing and the Life Cycle Conference (DFMLC), V006T06A023, August 17–19, 2020
Paper No: DETC2020-22511
Proceedings Papers

Proc. ASME. IDETC-CIE2019, Volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, V009T12A012, August 18–21, 2019
Paper No: DETC2019-97209
Proceedings Papers

Proc. ASME. IDETC-CIE2016, Volume 3: 18th International Conference on Advanced Vehicle Technologies; 13th International Conference on Design Education; 9th Frontiers in Biomedical Devices, V003T04A016, August 21–24, 2016
Paper No: DETC2016-59038
Proceedings Papers

Proc. ASME. IDETC-CIE2013, Volume 5: 25th International Conference on Design Theory and Methodology; ASME 2013 Power Transmission and Gearing Conference, V005T06A002, August 4–7, 2013
Paper No: DETC2013-13130
Proceedings Papers

Proc. ASME. IDETC-CIE2013, Volume 1: 15th International Conference on Advanced Vehicle Technologies; 10th International Conference on Design Education; 7th International Conference on Micro- and Nanosystems, V001T04A001, August 4–7, 2013
Paper No: DETC2013-12318
Proceedings Papers

Proc. ASME. IDETC-CIE2012, Volume 7: 9th International Conference on Design Education; 24th International Conference on Design Theory and Methodology, 403-413, August 12–15, 2012
Paper No: DETC2012-71511
Proceedings Papers

Proc. ASME. IDETC-CIE2012, Volume 7: 9th International Conference on Design Education; 24th International Conference on Design Theory and Methodology, 603-614, August 12–15, 2012
Paper No: DETC2012-70407
Proceedings Papers

Proc. ASME. IDETC-CIE2010, Volume 5: 22nd International Conference on Design Theory and Methodology; Special Conference on Mechanical Vibration and Noise, 297-306, August 15–18, 2010
Paper No: DETC2010-29045
Proceedings Papers

Proc. ASME. IDETC-CIE2008, Volume 4: 20th International Conference on Design Theory and Methodology; Second International Conference on Micro- and Nanosystems, 107-118, August 3–6, 2008
Paper No: DETC2008-49366
Proceedings Papers

Proc. ASME. IDETC-CIE2005, Volume 5a: 17th International Conference on Design Theory and Methodology, 527-535, September 24–28, 2005
Paper No: DETC2005-85047
Proceedings Papers

Proc. ASME. IDETC-CIE2006, Volume 4a: 18th International Conference on Design Theory and Methodology, 115-124, September 10–13, 2006
Paper No: DETC2006-99097