Tactical contract composition for hybrid system component verification

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Tactical contract composition for hybrid system component verification ; volume:20 ; number:6 ; day:14 ; month:8 ; year:2018 ; pages:615-643 ; date:11.2018
International journal on software tools for technology transfer ; 20, Heft 6 (14.8.2018), 615-643, 11.2018

Urheber
Beteiligte Personen und Organisationen
Mitsch, Stefan
Retschitzegger, Werner
Schwinger, Wieland
Platzer, André
SpringerLink (Online service)

DOI
10.1007/s10009-018-0502-9
URN
urn:nbn:de:101:1-2018111406014150047751
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 09:00 UTC

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Ähnliche Objekte (12)