Sciweavers

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

26

ISSS
1997
IEEE

favoriteEmaildiscussreport

59views Hardware» more ISSS 1997»

Derivation of Formal Representations from Process-Based Specification and Implementation Models

14 years 3 months ago

Derivation of Formal Representations from Process-Based Specification and Implementation Models

Download www.cs.york.ac.uk

Steven Vercauteren, Diederik Verkest, Gjalt G. de

Real-time Traffic

Hardware | ISSS 1997 |

claim paper

Related Content

» Program Repair Suggestions from Graphical StateTransition Specifications

» Derivation and Refinement of Textual Syntax for Models

» Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Represen...

» SystemonChip Verification Process Using UML

» Protocol Synthesis from ContextFree Processes Using Event Structures

» Systemonchip validation using UML and CWL

» Formal Models for CommunicationBased Design

» Implementing Query Answering for Hybrid MKNF Knowledge Bases

» A Goalbased Approach to Policy Refinement

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	ISSS
Authors	Steven Vercauteren, Diederik Verkest, Gjalt G. de Jong, Bill Lin

Comments (0)