Show simple item record

AuthorRock, G.dc.contributor.author
AuthorStephan, W.dc.contributor.author
AuthorWolpers, A.dc.contributor.author
AuthorBalser, Michaeldc.contributor.author
AuthorReif, Wolfgangdc.contributor.author
AuthorScheer, S.dc.contributor.author
EditorSaglietti, F.dc.contributor.editor
EditorGoerigk, W.dc.contributor.editor
Date of accession2020-03-30T11:16:48Zdc.date.accessioned
Available in OPARU since2020-03-30T11:16:48Zdc.date.available
Date of first publication1999dc.date.issued
Languageen_USdc.language.iso
PublisherUniversität Ulmdc.publisher
Dewey Decimal GroupDDC 000 / Computer science, information & general worksdc.subject.ddc
TitleStructured Formal Development in VSE II: The Robertino Case Studydc.title
Resource typeBeitrag zu einer Konferenzdc.type
FacultyFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.affiliationGeneral
InstitutionInstitut für Programmiermethodik und Compilerbauuulm.affiliationSpecific
DCMI TypeTextuulm.typeDCMI
CategoryPublikationsnachweiseuulm.category
Source - Title of sourceSicherheit und Zuverlässigkeit software-basierter Systeme, ITSecsource.title
Quellenangabe - HerausgeberSaglietti, Francescasource.contributor.editor1
Quellenangabe - HerausgeberGoerigk, Wolfgangsource.contributor.editor1
Source - PublisherGarchingsource.publisherPlace
Source - Place of publicationISTecsource.publisher
Source - Year1999source.year
Source - From page138source.fromPage
Source - To page152source.toPage
Source - ISSN978-3-00-004872-2source.identifier.issn
Conference nameGI-Workshopuulm.conferenceName
Conference placeBad Honnefuulm.conferencePlace
Conference start date1999-05-03uulm.conferenceStartDate
Conference end date1999-05-05uulm.conferenceEndDate
CommunityFakultät für Ingenieurwissenschaften, Informatik und Psychologieuulm.community
Bibliographyuulmuulm.bibliographie


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record