Sébastien Salva
Sébastien Salva
Home
Research
Tools
Publications
Teaching
Projects
Contact
Light
Dark
Automatic
An observability enhancement method of ABPEL specifications
sébastien Salva
March, 2011
Cite
Type
1
Publication
*The 2nd International Conference on Engineering and Meta-Engineering: ICEME 2011 *
Cite
×