Sciweavers

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

86

ENTCS
2008

102views more ENTCS 2008»

A Case Study in Parallel Verification of Component-Based Systems

15 years 2 months ago

A Case Study in Parallel Verification of Component-Based Systems

Download www.fi.muni.cz

Nikola Benes, Ivana Cerná, Jiri Sochor, Pav

Real-time Traffic

ENTCS 2008 |

claim paper

Related Content

» Verification of ComponentBased Software Application Families

» VLIW a case study of parallelism verification

» Applying Use Cases for the Requirements Validation of ComponentBased RealTime Software

» EarlGray A ComponentBased Java Virtual Machine for Embedded Systems

» FaultTolerance for ComponentBased Systems An Automated Middleware Specialization Approach

» Component Based MultiAgent System Modeling and Analysis A Case Study

» Validation in a ComponentBased Design Flow for Multicore SoCs

» A ComponentBased Groupware Development Methodology

» ComponentBased Design and Analysis A Case Study

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Nikola Benes, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerova

Comments (0)