Go to content
EN
Translated to English
FR
Laboratory
Research
Transversal actions
Teaching and Training
Join us
Open search
Close
Search form
Search
Enter one or more keywords…
Search entire site
Menu
EN
Translated to English
FR
Close
Search form
Search
Enter one or more keywords…
Search entire site
Laboratory
Laboratory
The Laboratory
Research support and assistance
News
Directory
Access to the LISN
Research
Research
Algorithms, Learning and Computation
Algorithms, Learning and Computation
Learning and Optimization
Graphs, Algorithms and Combinatorics (GALaC)
Data Science
Human Centered Interaction
Human Centered Interaction
Cognition Perception and Uses (CPU)
Mécanics – Energetics
Human Language Science and Technology
Transversal actions
Teaching and Training
Teaching and Training
Masters
Doctoral schools
Join us
Home
...
Corpus and software
Approximate Probabilistic Model Checker
Print this page
Export this page in PDF format (around 1.5MB)
Send to a friend
Share
Facebook
LinkedIn
Twitter
Logiciel
Approximate Probabilistic Model Checker
APMC
Updated :
01-01-2013
PEYRONNET
En developpement
GPL
More informations
Previous
Back to list
Next
Back to top
