✦ LIBER ✦

Formal methods: The next generation of system design tools

✍ Scribed by Mike Schofield

Book ID: 112184798
Publisher: John Wiley and Sons
Year: 1992
Tongue: English
Weight: 777 KB
Volume: 8
Category: Article
ISSN: 0748-8017
DOI: 10.1002/qre.4680080607

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Architecture for the next generation sys

Architecture for the next generation system management tools

✍ Jérôme Gallard; Adrien Lèbre; Christine Morin; Thomas Naughton; Stephen L. Scott 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 673 KB

Cost optimization methods in the design

Cost optimization methods in the design of next generation networks

✍ Sigurdsson, H.M.; Thorsteinsson, S.E.; Stidsen, T.K. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 234 KB

Envisioning the Next-Generation of Funct

Envisioning the Next-Generation of Functional Testing Tools

✍ Andrea, Jennitta 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 203 KB

A framework design for the next-generati

A framework design for the next-generation radio access system

✍ Moon, J.; Jae-Yun Ko; Yong-Hwan Lee 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 626 KB

StarTrack: The Next Generation (of Produ

StarTrack: The Next Generation (of Product Review Management Tools)

✍ Baccianella, Stefano; Esuli, Andrea; Sebastiani, Fabrizio 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 753 KB

Design and Installation of a Next Genera

Design and Installation of a Next Generation Pilot Scale Fermentation System

✍ B. Junker; T. Brix; M. Lester; P. Kardos; J. Adamca; J. Lynch; J. Schmitt; P. Sa 📂 Article 📅 2003 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 218 KB