Return to book
Review this book
About the author
Introduction
1.
User manual
1.1.
First steps
1.1.1.
Install and run PLASMA Lab
1.1.2.
Open and edit a project
1.1.3.
Simulation mode
1.1.4.
Experimentation mode
1.1.5.
Optimization
1.1.6.
Options
1.2.
PLASMA Lab Distributed
1.3.
Configuration
2.
Developer manual
2.1.
Architecture
2.2.
User Interface
2.3.
Plugins
2.4.
Simulator
2.5.
Requirement Checker
2.6.
Algorithms
2.6.1.
Parameters
2.6.2.
Distributed algorithms
2.7.
Controler
3.
Specific components
3.1.
PLASMA2Simulink
3.2.
CADP
4.
Project manual
4.1.
PLASMA Lab @ INRIA
4.2.
Continuous integration
4.3.
Framework
5.
Tutorials
5.1.
Making a plugin
5.1.1.
Factory
5.1.2.
Simulator
5.1.3.
Checker
Powered by
GitBook
A
A
Serif
Sans
White
Sepia
Night
Twitter
Google
Facebook
Weibo
Instapaper
PLASMA Lab book
Specific components
This section describes some particular components