1 |
Execution Framework of the GEMOC Studio (Tool Demo)
|
|
|
|
In: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering ; https://hal.inria.fr/hal-01355391 ; Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8 (2016)
|
|
BASE
|
|
Show details
|
|
2 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
3 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
4 |
Developing efficient parsers in Prolog: the CLF manual (v1.0)
|
|
|
|
In: https://hal.inria.fr/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18 (2006)
|
|
BASE
|
|
Show details
|
|
|
|