Gast ::
Current Challenges in the Verification of Hybrid Systems
; ; ; ; ; ;
In
Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger ... (eds.), Seiten/Artikel-Nr: 8-24
2015
Online
DOI: 10.1007/978-3-319-25141-7_2
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
- Juniorprofessur für Theorie Hybrider Systeme (121330)
- Lehrstuhl für Informatik 11 (Embedded Software) (122810)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
INSPEC: 15576312
SCOPUS: SCOPUS:2-s2.0-84952657055
WOS Core Collection: WOS:000373821000002
Interne Identnummern
RWTH-2015-07355
Datensatz-ID: 564375
Beteiligte Länder
France, Germany, USA
Nationallizenz
; SCOPUS
|
The record appears in these collections: |