Fulltext present in this item

Thumbnail
Fulltext: 83498.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Formal semantics of a VDM extension for distributed embedded systems
Author(s): Hooman, J.J.M. ; Verhoef, M.
Publication year: 2010
In: Dams, D.; Hannemann, U. (ed.), Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever, pp. 142-161
Publisher: Berlin : Springer
ISBN: 9783642115110
Series: Lecture notes in computer science ; 5930
Publication type: Part of book or chapter of book

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/83498   https://hdl.handle.net/2066/83498

Display more details
Editor(s): Dams, D.; Hannemann, U.
Subject: Software Science
Organization: Software Science
Book title: Dams, D.; Hannemann, U. (ed.), Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
Page start: p. 142
Page end: p. 161

This item appears in the following Collection(s)

Browse

Statistics