✦ LIBER ✦

Application of the trace assertion method to the specification, design, and verification of automaton programs

✍ Scribed by E. V. Kuzmin; V. A. Sokolov; D. Ju. Chalyy

Book ID: 110190931
Publisher: SP MAIK Nauka/Interperiodica
Year: 2009
Tongue: English
Weight: 243 KB
Volume: 35
Category: Article
ISSN: 0361-7688
DOI: 10.1134/s036176880901006x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of Modal Logics to the Speci

Application of Modal Logics to the Specification and Verification of Programs

✍ V. B. Popov; A. S. Anafiev 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 30 KB

Application of the SUSHI method to the d

Application of the SUSHI method to the design of gradient coils

✍ Sh.M. Shvartsman; R.W. Brown; Y.-C.N. Cheng; T.P. Eagan; H. Fujita; M.A. Morich; 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 214 KB 👁 2 views

A Method to Check the Design and Specifi

A Method to Check the Design and Specification of Seeds in Low-Dose-Rate Brachytherapy

✍ Michael Doring; Frank-Andre Siebert 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 223 KB

The payoff to school selectivity: An app

The payoff to school selectivity: An application of Dale and Krueger’s method to MBA programs

✍ Weiwei Chen; Wayne A. Grove; Andrew Hussey 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 178 KB

[ACM Press Papers - Not Known (1988..-..

[ACM Press Papers - Not Known (1988..-..)] Papers on Twenty-five years of electronic design automation - 25 years of DAC - The application of program verification techniques to hardware verification

✍ Darringer, J. A. 📂 Article 📅 1988 🏛 ACM Press 🌐 English ⚖ 791 KB

Application of the envelope-transient me

Application of the envelope-transient method to the analysis and design of autonomous circuits

✍ Almudena Suárez; Sergio Sancho 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 428 KB 👁 1 views