Sciweavers

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

12

MEMOCODE
2007
IEEE

favoriteEmaildiscussreport

116views Formal Methods» more MEMOCODE 2007»

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

13 years 10 months ago

Software/Hardware Engineering with the Parallel Object-Oriented Specification Language

Download www.ics.ele.tue.nl

Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfe

Real-time Traffic

MEMOCODE 2007 |

claim paper

Related Content

» EquationBased ObjectOriented Languages and Tools

» ObjectOriented Program Behavior Analysis Based on Control Patterns

» ObjectOriented Natural Language Requirements Specification

» ObjectOriented Language Engineering for the PostJava Era

» Support for Extensibility and Reusability in a Concurrent ObjectOriented Programming Langu...

» A Matching Approach for ObjectOriented Formal Specifications

» vPromela A Visual ObjectOriented Language for SPIN

» Validation of Object Oriented Models using Animation

» RunTime Adaptability of Synchronization Policies in Concurrent Object Oriented Languages

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	MEMOCODE
Authors	Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten

Comments (0)