Managing Requirements Knowledge || Automated Verification of Variability Model Using First-Order Logic
- 作者Maalej, Walid; Thurimella, Anil Kumar
- 文件大小416.86KB
- 发表时间2013
- DOI10.1007/978-3-642-34419-0_12
- 页码265-289
Bilateral spinal neurofibromas in patients with neurofibromatosis 1Ignacio Pascual-Castroviejo; Samuel-Ignacio Pascual-Pascual; Juan Viaño; Ramón Velazquez-Fragua; Juan-Carlos López-Gutierrez · 2012
Pascual-Castroviejo type II syndrome (P-CIIS). Importance of the presence of persistent embryonic arteriesIgnacio Pascual-Castroviejo; Juan Alvarez-Linera; Juan Coya; Juan Viaño; Samuel-Ignacio Pascual-Pascual; Ramón Velázquez-Fragua; Juan-Carlos López-Gutiérrez · 2011
Unilateral polymicrogyria: a common cause of hemiplegia of prenatal originIgnacio Pascual-Castroviejo; Samuel Ignacio Pascual-Pascual; Juan Viaño; Vicente Martinez; Rafael Palencia · 2001
Posterior fossa tumors in children with neurofibromatosis type 1 (NF1)Ignacio Pascual-Castroviejo; Samuel I. Pascual-Pascual; Juan Viaño; Fernando Carceller; Manuel Gutierrez-Molina; Carmen Morales; Remedios Frutos-Martinez · 2010
Front CoverVaro-Cruz, Nuria; Bermejo, Juan A.; Calabuig, Pascual; Cejudo, Daniel; Godley, Brendan J.; López-Jurado, Luis F.; Pikesley, Stephen K.; Witt, Matthew J.; Hawkes, Lucy A.; Roura-Pascual, Núria · Diversity and Distributions · 2016
Facial hemangioma and associated vascular and nonvascular malformationsIgnacio Pascual-Castroviejo; Samuel I. Pascual; Juan Viaño; Vicente Martinez · 1994
Book Review: Statistical Inference as Severe TestingPerezgonzalez, Jose D.; Pascual-Soler, Marcos; Pascual-Llobell, Juan; Frias-Navarro, Dolores · Frontiers in Psychology · 2019
Moyamoya disease with a marked collateral supply through the artery of Bernasconi-CassinariIgnacio Pascual-Castroviejo; Juan Vian˜o; Samuel-Ignacio Pascual-Pascual; Antonio Perez-Higueras; Vicente Marti´nez · 1996