- Standort
-
Ulm, Universitätsbibliothek -- Z 7313,16,1#5#S.1-40
- Umfang
-
1 Online-Ressource (S. [1] - 40)
- Sprache
-
Englisch
- Anmerkungen
-
Ill.
In: ACM transactions on software engineering and methodology, Vol. 16, No. 1, 2007. - New York, NY : Assoc. for Computing Machinery (ACM)
- Ereignis
-
Veröffentlichung
- (wo)
-
New York, NY
- (wer)
-
Assoc. for Computing Machinery (ACM)
- (wann)
-
2007
- URN
-
urn:nbn:de:bvb:12-bsb00069956-9
- Letzte Aktualisierung
-
16.04.2025, 08:48 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Bayerische Staatsbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Broy, Manfred
- Krüger, Ingolf
- Meisinger, Michael
- Assoc. for Computing Machinery (ACM)
Entstanden
- 2007
Ähnliche Objekte (12)
Formal models of source reliability
Formal specification of a Web services protocol
Mapping of formal Network Quality-of-Service Requirements
Formal models of agents : selected papers
Formal description of web services for expressive matchmaking
Computer-aided validation of formal conceptual models
Computer-aided validation of formal conceptual models
Formal models in document processing
Formal Performability Evaluation of Architectural Models of Critical Infrastructures
An expressive formal model of the web infrastructure
Formal specification of domain-specific ECA policy models
A formal fault model for component based models of embedded systems
Formal models of source reliability
Formal specification of a Web services protocol
Mapping of formal Network Quality-of-Service Requirements
Formal models of agents : selected papers
Formal description of web services for expressive matchmaking
Computer-aided validation of formal conceptual models
Computer-aided validation of formal conceptual models
Formal models in document processing
Formal Performability Evaluation of Architectural Models of Critical Infrastructures
An expressive formal model of the web infrastructure
Formal specification of domain-specific ECA policy models
A formal fault model for component based models of embedded systems
Formal models of source reliability
Formal specification of a Web services protocol
Mapping of formal Network Quality-of-Service Requirements
Formal models of agents : selected papers
Formal description of web services for expressive matchmaking
Computer-aided validation of formal conceptual models
Computer-aided validation of formal conceptual models
Formal models in document processing
Formal Performability Evaluation of Architectural Models of Critical Infrastructures
An expressive formal model of the web infrastructure
Formal specification of domain-specific ECA policy models