Practical Verification of Embedded Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard. Practical Verification of Embedded Software. IEEE Computer, 33(5):68-75, 2000. [doi]

This author has not been identified. Look up 'Jørgen Staunstrup' in GoogleThis author has not been identified. Look up 'Henrik Reif Andersen' in GoogleThis author has not been identified. Look up 'Henrik Hulgaard' in GoogleThis author has not been identified. Look up 'Jørn Lind-Nielsen' in GoogleThis author has not been identified. Look up 'Kim Guldstrand Larsen' in GoogleThis author has not been identified. Look up 'Gerd Behrmann' in GoogleThis author has not been identified. Look up 'Kåre J. Kristoffersen' in GoogleThis author has not been identified. Look up 'Arne Skou' in GoogleThis author has not been identified. Look up 'Henrik Leerberg' in GoogleThis author has not been identified. Look up 'Niels Bo Theilgaard' in Google

runs on WebDSL