Get started
Author

Thomas Abdoul

AADL Execution Semantics Transformation for Formal Verification
2008 · Thomas Abdoul, Joel Champeau, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 27
An Efficient Modeling and Execution Framework for Complex Systems Development
2011 · Isabelle Perseil, Laurent Pautet, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 4
Transformation de modèles AADL en automates temporisés IF.
2006 · Abdoul, Thomas · HAL · 2
AADL model transformation for formal verification
2008 · Abdoul, Thomas, Champeau, Joël, et al. · HAL · 1
Works count: 4
Citation count: 34
H-index: 2
I10-index: 1
Year
Topic
Type