Zurück zu Willert.de

How to implement Model checking CSL

Rhapsody Model or Codegeneration topics

How to implement Model checking CSL

Postby stef85 » September 18th, 2013, 3:07 pm

Hi

I would like to know what the CSL (Continuous Stochastic Logic) method is for state chart machines?
Could you explain to me how the CSL method is implemented in Rhapsody?
Do you know any additional information or web links about this subject?
Is possible to implement Model cheking CSL?



Thanks
stef85
 
Posts: 6
Joined: August 26th, 2013, 11:12 am

Return to Modelling with Rhapsody

Who is online

Users browsing this forum: No registered users and 4 guests

cron