Login / Signup
Frank Hagl
Publication Activity (10 Years)
Years Active: 1988-2013
Publications (10 Years): 0
Top Topics
Cooperative
Consumer Electronics
Embedded Systems
Top Venues
Computing
</>
Publications
</>
De-Jiu Chen
,
Lei Feng
,
Tahir Naseer Qureshi
,
Henrik Lönn
,
Frank Hagl
An architectural approach to the analysis, verification and validation of software intensive embedded systems.
Computing
95 (8) (2013)
Frank Hagl
Datenschutz und ISDN.
FIFF Jahrestagung
(1989)
Roland Dietrich
,
Frank Hagl
A Polymorphic Type System with Subtypes for Prolog.
ESOP
(1988)