DETC2019-97950 Checking Application Level Properties Using Assertion Synthesis

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (15. : 2019 : Anaheim, Calif.) Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - 2019 ; volume 9: 15th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
1. Verfasser:	Wenzl, Matthias (VerfasserIn)
Weitere Verfasser:	Roessler, Peter (VerfasserIn), Puhm, Andreas (VerfasserIn)
Pages:	2019
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!