Hochschulschrift
A lightweight formal method for the prediction of non-functional system properties
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
VI, 177 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Erlangen, Nürnberg, Univ., Diss., 2005
- Bibliographic citation
-
Arbeitsberichte des Instituts für Informatik, Friedrich-Alexander-Universität Erlangen Nürnberg / Friedrich-Alexander-Universität Erlangen-Nürnberg ; Bd. 38, Nr. 4
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:20 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Barner, Jörg
- Inst. für Informatik
Time of origin
- 2005
Other Objects (12)
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Description techniques for data in the SYSLAB method
Using the syslab method : a case study
A general framework for formal notions of "secure" systems
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Description techniques for data in the SYSLAB method
Using the syslab method : a case study
A general framework for formal notions of "secure" systems
The requirement and design specification language SPECTRUM, Part 1
ESPRIT BR project RAND REC, [...]. July 1, 1993 - June 30, 1994
Durchschnittsbasierte Generalisierungsregeln, Teil 2.. Analyse von Daten septischer Schock-Patienten
ESPRIT BR project RAND REC, [...]. July 1, 1994 - June 30, 1995
Durchschnittsbasierte Generalisierungsregeln, Teil 1.. Grundlagen
ESPRIT BR project RAND REC, [...]. July 1, 1993 - September 30, 1997
Formal specification of CSCW applications
A formal foundation for concurrent object oriented programming
Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
Description techniques for data in the SYSLAB method
Using the syslab method : a case study