𝔖 Bobbio Scriptorium

✦ LIBER ✦

Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems

✍ Scribed by S. N. Baranov; V. A. Volkov; A. B. Godlevskii; Yu. V. Kapitonova; A. A. Letichevsky

Book ID: 111575999
Publisher: Springer US
Year: 2003
Tongue: English
Weight: 34 KB
Volume: 39
Category: Article
ISSN: 1573-8337
DOI: 10.1023/b:casa.0000020220.16822.36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guideline for verification and validatio

Guideline for verification and validation of safety-related software: Prepared by Committee TC 7 Systems Reliability, Safety & Security of the European Workshop on Industrial Computer Systems (EWICS)

📂 Article 📅 1985 🏛 Elsevier Science ⚖ 688 KB

[ACM Press the international conference

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - An interactive program verification system

✍ Good, Donald I.; London, Ralph L.; Bledsoe, W. W. 📂 Article 📅 1975 🏛 ACM Press ⚖ 949 KB

[IEEE 4th International Workshop on Micr

[IEEE 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Austin, TX, USA (29-30 May 2003)] Proceedings. 4th International Workshop on Microprocessor Test and Verification - Common Challenges and Solutions - Definition of a systematic method for the generation of software test programs allowing the functional verification of system on chip (SoC)

✍ Hunsinger, F.; Francois, S.; Jerraya, A.A. 📂 Article 📅 2003 🏛 IEEE ⚖ 237 KB

Chemistry Comes Alive!, Volume 2. Compil

Chemistry Comes Alive!, Volume 2. Compiled by Jerrold J. Jacobsen and John W. Moore. Special Issue 21, 1998; CD-ROM for Macintosh and Windows; JCE Software, University of Wisconsin-Madison, 1101 University Ave., Madison, WI 53706-1396; Phone: (608) 262-5153 or (800) 991-5534; FAX: (608)265-8094; e-mail:[email protected]; Prices/Licensing (prices for non-U.S. are in parentheses): single user on a single machine, $60 ($80); additional single user copies, $45 ($65); libraries, single machine, $120 ($140); networks, up to 12 simultaneous users, $240 ($260); networks: up to 50 simultaneous users, $800 ($820); networks, more than 50 simultaneous users, contact JCE Software for a quote. Because Chemistry Comes Alive! is periodically updated, for the latest information on system requirements please access JCE Online: http://jchemed.chem.wisc.edu/JCESoft/Programs/CCA/CCA_system.html

✍ George B. Kauffman; Hiram William Blanken 📂 Article 📅 2002 🏛 Springer ⚖ 796 KB