BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:dblp

The blue social bookmark and publication sharing system.

entry of dblp:

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.

by: Georg Droschl, Walter Kuhn, Gerald Sonneck, and Michael Thuswald

In: SAFECOMP, Vol. 1943Springer (2000) , p. 187-197.

Resources (URL, PDF, PS...)

URL:	http://dblp.uni-trier.de/db/conf/safecomp/safecomp2000.html#DroschlKST00

@inproceedings{conf/safecomp/DroschlKST00,
  added-at = {2002-01-03T00:00:00.000+0100},
  author = {Droschl, Georg and Kuhn, Walter and Sonneck, Gerald and Thuswald, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/28f0c1c9cc3a7dabc32a785152f1467a0/dblp},
  booktitle = {SAFECOMP},
  crossref = {conf/safecomp/2000},
  date = {2002-01-03},
  description = {dblp},
  editor = {Koornneef, Floor and van der Meulen, Meine},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1943/19430187.htm},
  interhash = {fdbe44256b886a736c5c0c462da7e8ea},
  intrahash = {8f0c1c9cc3a7dabc32a785152f1467a0},
  isbn = {3-540-41186-0},
  keywords = {dblp},
  pages = {187-197},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2002-01-03T00:00:00.000+0100},
  title = {A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.},
  url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2000.html#DroschlKST00},
  volume = 1943,
  year = 2000
}

Endnote record

BibSonomy :: publication ::

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.

Resources (URL, PDF, PS...)

Description

BibTeX record

Endnote record