✦ LIBER ✦

Preface: special issue on NASA Formal Methods Symposium 2010

✍ Scribed by César A. Muñoz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Special Issue on Nasa Formal Me

✍ Ewen Denney; Dimitra Giannakopoulou; Corina S. Păsăreanu 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 55 KB

Preface to special issue on 3DOR 2010

✍ Ioannis Pratikakis; Tobias Schreck; Theoharis Theoharis; Remco Veltkamp 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 137 KB

Preface to the special issue on Formal M

✍ Darren Cofer; Alessandro Fantechi; Stefan Leue; Pedro Merino 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 164 KB

Preface for the special issue on numeric

✍ Allen Taflove 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 99 KB

Preface to the special issue on models a

✍ Y. Bazilevs; V.M. Calo; T.J.R. Hughes; C.A. Taylor 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 85 KB

This special issue focuses on the subject of modeling and numerical methods in vascular and cardiovascular mechanics.

Preface for the special issue on the int

✍ T.E. Simos 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 25 KB