Female Sexual Desire, Response, and Behavior
- 期刊名称Behavior Modification
- 作者Hurlbert, D. F.; Apt, C.
- 卷第18卷
- 期第4期
- 印刷ISSN0145-4455
- 文件大小1483.98KB
- 发表时间1994-10-01
- DOI10.1177/01454455940184006
- 页码488-504
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMsGiuseppe Di Guglielmo; Luigi Di Guglielmo; Franco Fummi; Graziano Pravadelli · 2011
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System IntegrationGuglielmo, Luigi Di; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara · IEEE Transactions on Computers · 2013
On the integration of model-driven design and dynamic assertion-based verification for embedded softwareDi Guglielmo, Giuseppe; Di Guglielmo, Luigi; Foltinek, Andreas; Fujita, Masahiro; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano · Journal of Systems and Software · 2013
[IEEE 2010 IEEE International Conference on Computer Design (ICCD 2010) - Amsterdam, Netherlands (2010.10.3-2010.10.6)] 2010 IEEE International Conference on Computer Design - DDPSL: An easy way of defining propertiesDi Guglielmo, Luigi; Fummi, Franco; Orlandi, Nicola; Pravadelli, Graziano · 2010
[IEEE 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Anaheim, FL, USA (2010.06.10-2010.06.12)] 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT) - HIFSuite: Tools for HDL code conversion and manipulationBombieri, Nicola; Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Ferrari, Michele; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Venturelli, Alessandro · 2010
[ACM Press Proceeding of the 6th international workshop - Waikiki, Honolulu, HI, USA (2011.05.23-2011.05.24)] Proceeding of the 6th international workshop on Automation of software test - AST '11 - Model-driven design and validation of embedded softwareDi Guglielmo, Giuseppe; Fujita, Masahiro; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano; Marconcini, Cristina; Foltinek, Andreas · 2011
[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Interactive presentation abstract: Assertion-based verification in embedded-software designDi Guglielmo, Giuseppe; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano · 2011
[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Vacuity analysis for property qualification by mutation of checkersDi Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano · 2010