Sciweavers

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

11

CONCUR
2003
Springer

favoriteEmaildiscussreport

96views Distributed And Parallel Com...» more CONCUR 2003»

Netcharts: Bridging the gap between HMSCs and executable specifications

13 years 9 months ago

Netcharts: Bridging the gap between HMSCs and executable specifications

Download www.cmi.ac.in

Madhavan Mukund, K. Narayan Kumar, P. S. Thiagaraj

Real-time Traffic

CONCUR 2003 |

claim paper

Related Content

» Generating Executable Scenarios from Natural Language

» Executable structural operational semantics in Maude

» Monitoring Checking and Steering of RealTime Systems

» An Executable UML with OCLbased Action Semantics Language

» Automated design of application specific superscalar processors an analytical approach

» Modelbased development of a course of action scheduling tool

» Dynamic Authorisation Policies for EventBased Task Delegation

» Timetriggered implementations of dynamic controllers

» A lightweight flowbased toolkit for parallel and distributed bioinformatics pipelines

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	CONCUR
Authors	Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan

Comments (0)