ABSOLUTEASTRONOMY
Create a free discussion account!
Signup
Login
x
Home
Search
Topics
Almanac
Science
Nature
People
History
Society
Signup
Login
ABSOLUTEASTRONOMY
HOME
TOPICS
ALMANAC
SCIENCE
NATURE
PEOPLE
HISTORY
SOCIETY
PHILOSOPHY
Model checking
Topic Home
Discussion
2
Topics
Model checking
Forum
Thread
Posts
1 - 1
of
1
kasse
Hi, I am new in PRISM model checker.
I want to know if it is possible to compute the response time of a CTMC using prism?
thanks
Save
Cancel
Reply
x
OK