Specification and Verification of Component-Based Systems (SAVCBS)

Allgemeine Angaben zur Online-Ausgabe der Zeitschrift:

Titel:

Specification and Verification of Component-Based Systems (SAVCBS)

Verlag / Anbieter:

Association for Computing Machinery (ACM)
Open Access Policy des Verlages in SHERPA/RoMEO suchen

Fachgebiet(e):

Informatik

Schlagwörter:

Allgemeine informatik | Konferenzschrift

ZDB-Nummer:

2683858-8

erste Volltextausgabe:

(2005)

letzte Volltextausgabe:

(2009)

Homepage(s):

https://dl.acm.org/event.cfm?id=RE201&tab=pubs

Erscheinungsweise:

Volltext, Online und Druckausgabe

Kosten für Lesezugang:

kostenpflichtig

Zugangsbedingungen:

Subskription mit Authentifizierungsmechanismen

Bemerkung:

Proceedings of the ... International Workshop on Specification and Verification of Component-Based systems