Sciweavers

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

82

Voted

SAJ
2000

72views more SAJ 2000»

Defining and specifying graphs using formal model-based techniques

15 years 2 months ago

Defining and specifying graphs using formal model-based techniques

Download hufee.meraka.org.za

Paula Kotzé

Real-time Traffic

SAJ 2000 |

claim paper

Related Content

» A ViewOriented Approach to System Modelling Based on Graph Transformation

» Consistent Integration of Models Based on Views of Visual Languages

» A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra

» ModelBased Testing of Environmental Conformance of Components

» An OO Visual Language Definition Approach Supporting Multiple Views

» A Framework for Adding Packages to Graph Transformation Approaches

» Relaxed selection techniques for querying timeseries graphs

» ModelBased ToolChain Infrastructure for Automated Analysis of Embedded Systems

» Quantitative verification models techniques and tools

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	SAJ
Authors	Paula Kotzé

Comments (0)