Jasminecorp Directory -

jasminecorp.net directory

Updated Blogs

Computer Support Blog

Essensial Software for Web Based Support

HP Server and Desktop

HP ILO - Remote Tech-Support Software

JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping

Detailed Information

URL:     http://www.informatik.uni-bremen.de/agbkb/prosecco/

Title:     Proveb Securty and Correctness (Prosecco)

Description:     Ziel des Projektes der Universität Bremen ist die Entwicklung eines korrekten, sicheren und verteilten Dateisystems. Die funktionale Korrektheit und Sicherheit des Systems wird durch den Einsatz von formalen Methoden sichergestellt. Das Dateisystem soll unter Linux implementiert und als Paket der Öffentlichkeit zur Verfügung gestellt werden.

Directory:     World/Deutsch/Wissenschaft/Informatik/Forschungseinrichtungen

Reviews

Be the first to review this site

Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service
Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote
Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor