𝔖 Bobbio Scriptorium

✦ LIBER ✦

Deductive Verification of System Software in the Verisoft XT Project

✍ Scribed by Bernhard Beckert; Michał Moskal

Book ID: 107690030
Publisher: Springer-Verlag
Year: 2010
Tongue: English
Weight: 243 KB
Volume: 24
Category: Article
ISSN: 0933-1875
DOI: 10.1007/s13218-010-0005-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Integrated computer support in the softw

Integrated computer support in the software engineering environment EPOS — Possibilities of support in system development projects

✍ P. Lempp 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 754 KB

[Lecture Notes in Computer Science] On t

[Lecture Notes in Computer Science] On the Move to Meaningful Internet Systems: OTM 2011 Workshops Volume 7046 || The Role of Coordination Analysis in Software Integration Projects

✍ Meersman, Robert; Dillon, Tharam; Herrero, Pilar 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 640 KB

Trueness verification and traceability a

Trueness verification and traceability assessment of results from commercial systems for measurement of six enzyme activities in serum: An international study in the EC4 framework of the Calibration 2000 project

✍ Rob Jansen; Gerhard Schumann; Henk Baadenhuijsen; Paul Franck; Carlo Franzini; R 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 141 KB

[ACM Press the 2008 international worksh

[ACM Press the 2008 international workshop - Leipzig, Germany (2008.05.10-2008.05.11)] Proceedings of the 2008 international workshop on Models in software engineering - MiSE '08 - Towards an integrated system model for testing and verification of automation machines

✍ Hummel, Benjamin; Braun, Peter 📂 Article 📅 2008 🏛 ACM Press ⚖ 492 KB

news : Western launches its purpose-buil

news : Western launches its purpose-built 4D OBC fleet : West Greenland prospects software : News Briefs : CDA projects enters new phase : Move to make 2D fashionable : People in the News : Norwegian Facies Knowledge initiative established : E&P data management system for Venezuela : Gravity-seismic integration to cut depth migration cost : PGS active worldwide on the seismic front : What's in a Gulf of Mexico name? : GeoCenter's software links

📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 160 KB