Browse wiki

From CERES
Jump to: navigation, search
Veronica Gaspes
Affiliation CERES +
Cellphone +46-722-391416  +
FamilyName Gaspes  +
GivenName Veronica  +
Img VeronicaGaspes.jpg  +
Note Computer science
Office F316  +
Person Veronica Gaspes +
Phone +46-35-167380  +
Project HiPEC +
Ptitle PhD  +
Role Associate professor  +
Has queryThis property is a special property in this wiki. Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes + , Veronica Gaspes +
Categories Only pages in namespace "Category" are allowed here. , Person  +
Modification dateThis property is a special property in this wiki. 31 January 2019 09:34:05  +
Page has default formThis property is a special property in this wiki. CreatePerson  +
EmailThis property is a special property in this wiki. veronica.gaspes@hh.se  +
hide properties that link here 
Publications:A Compositional Implementation of Modbus in Protege + , Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report + , Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) + , Publications:A Domain Specific Approach to Network Software Architecture : Assuring Conformance Between Architecture and Code + , Publications:A Domain-Specific Language Approach to Protocol Stack Implementation + , Publications:A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language + , Publications:ARC13 : Assessment of Research and Coproduction : Reports from the assessment of all research at Halmstad University 2013 + , Publications:Accurate Programming : Thinking about programs in terms of properties + , Publications:An embedded language for programming protocol stacks in embedded systems + , Publications:Integrating a data description language with protocol stack development + , Publications:Machine Assisted Code Generation for Manycore Processors + , Publications:Programming Real-time Image Processing for Manycores in a High-level Language + Author
Veronica Gaspes + Person
Dynamic Unit Checking + , Testing Numerical Code + , Visualization for Enclosures + Supervisors
 

 

Enter the name of the page to start browsing from.