Author: Jørn Lind-Nielsen
Publication Overview
Publication period start: 2000
Number of co-authors: 9
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Staunstrup,
Jørgen,
Andersen,
Henrik Reif,
Hulgaard,
Henrik,
Lind-Nielsen,
Jørn,
Larsen,
Kim Guldstrand,
Behrmann,
Gerd,
Kristoffersen,
Kåre J.,
Skou,
Arne,
Leerberg,
Henrik,
Theilgaard,
Niels Bo
(2000):
Practical Verification of Embedded Software.
In
IEEE Computer,
33
(5)
pp. 68-75.
https://csdl.computer.org/comp/mags/co/2000/05/r5068abs.htm