Sciweavers

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

7

ICECCS
2008
IEEE

favoriteEmaildiscussreport

87views Hardware» more ICECCS 2008»

A Scalable Approach to Multi-style Architectural Modeling and Verification

13 years 10 months ago

A Scalable Approach to Multi-style Architectural Modeling and Verification

Download www.comp.nus.edu.sg

Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001

Real-time Traffic

Hardware | ICECCS 2008 |

claim paper

Related Content

» Use of CC models for architecture exploration and verification of DSPs

» Modular verification of web services using efficient symbolic encoding and summarization

» A Graph Grammar Approach to Software Architecture Verification and Transformation

» On the verification of automotive protocols

» Scalable specification mining for verification and diagnosis

» A ModelTheoretic Approach to the Verification of Situated Reasoning Systems

» Scalable Parametric Verification of Secure Systems How to Verify Reference Monitors withou...

» Accuracy Verification of Manual 3D CG Reconstruction Case Study of Destroyed Architectural...

» Proposing a Comprehensive Storage Virtualization Architecture with Related Verification fo...

Post Info
More Details (n/a)

Added	30 May 2010
Updated	30 May 2010
Type	Conference
Year	2008
Where	ICECCS
Authors	Stephen Wong, Jing Sun, Ian Warren, Jun Sun 0001

Comments (0)