Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

SOSYM
2008

favoriteEmaildiscussreport

47views more SOSYM 2008»

Supporting UML-based development of embedded systems by formal techniques

13 years 5 months ago

Supporting UML-based development of embedded systems by formal techniques

Download www.cs.nyu.edu

Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika

Real-time Traffic

SOSYM 2008 |

claim paper

Related Content

» Integration of Scheduling Analysis into UML Based Development Processes Through Model Tran...

» Hardware Software Codesign of embedded telecommunication systems using multiple formalism...

» Code generation techniques for developing lightweight XML Web services for embedded device...

» OpenComRTOS An UltraSmall Network Centric Embedded RTOS Designed Using Formal Modeling

» Collaborative Modelling and Cosimulation in the Development of Dependable Embedded Systems

» Verification of UMLBased RealTime System Designs by Means of cTLA

» The design and implementation of formal monitoring techniques

» Formal Semantics of a VDM Extension for Distributed Embedded Systems

» SaveIDE A tool for design analysis and implementation of componentbased embedded systems

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	SOSYM
Authors	Jozef Hooman, Hillel Kugler, Iulian Ober, Angelika Votintseva, Yuri Yushtein

Comments (0)