Sciweavers

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

5

DATE
2009
IEEE

favoriteEmaildiscussreport

100views Hardware» more DATE 2009»

A formal approach for specification-driven AMS behavioral model generation

14 years 26 days ago

A formal approach for specification-driven AMS behavioral model generation

Download www.date-conference.com

Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajd

Real-time Traffic

DATE 2009 | Hardware |

claim paper

Related Content

» Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Des...

» GraphBased Functional Test Program Generation for Pipelined Processors

» Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA

» A Behavior Model for Next Generation Test Systems

» Generating test programs to cover pipeline interactions

» Scalable Learning of Collective Behavior

» Formal Verification for HighAssurance Behavioral Synthesis

» Automatically Discovering Properties That Specify the Latent Behavior of UML Models

» Generating operation specifications from UML class diagrams A model transformation approac...

Post Info
More Details (n/a)

Added	20 May 2010
Updated	20 May 2010
Type	Conference
Year	2009
Where	DATE
Authors	Subhankar Mukherjee, Antara Ain, S. K. Panda, Rajdeep Mukhopadhyay, Pallab Dasgupta

Comments (0)