✦ LIBER ✦

Formal Methods Research at SICS and KTH: An Overview

✍ Scribed by Mads Dam; Lars-Åke Fredlund; Dillian Gurov

Book ID: 104445063
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 57 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80824-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An overview of computer vision research

An overview of computer vision research at SRI International—Themes and progress

✍ Martin A. Fischler 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 749 KB

Methods for developing and analyzing cli

Methods for developing and analyzing clinically rich data for patient-centered outcomes research: an overview

✍ Sebastian Schneeweiss; John D. Seeger; Scott R. Smith 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 74 KB

Noble endeavors: An overview of Nobel Pr

Noble endeavors: An overview of Nobel Prize-winning research at Bell Labs

✍ Saswato R. Das 📂 Article 📅 2002 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 298 KB

Use of formal and informal methods to ga

Use of formal and informal methods to gain information among faculty at an Australian regional university

✍ Sansnee Jirojwong; Margie Wallin 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 50 KB

ANALYSIS AND DESIGN OF MUFFLERS—AN OVERV

ANALYSIS AND DESIGN OF MUFFLERS—AN OVERVIEW OF RESEARCH AT THE INDIAN INSTITUTE OF SCIENCE

✍ M.L. Munjal 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 150 KB

The reciprocating motion of the piston(s) of engines and compressors and the associated intake and discharge of gases are responsible for noise radiation to the atmosphere that ranks as a major pollutant of the urban environment. Mufflers have been developed over the last seventy years based on elec

An overview of research activities on ma

An overview of research activities on materials for nuclear applications at the INL Safety, Tritium and Applied Research facility

✍ P. Calderoni; J. Sharpe; M. Shimada; B. Denny; B. Pawelko; S. Schuetz; G. Longhu 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 633 KB