| 1 |
New Specifications for Territorial Intelligence Community System
|
|
|
|
In: International Conference of Territorial Intelligence “Well-Being in Information Society” ; https://halshs.archives-ouvertes.fr/halshs-01146827 ; International Conference of Territorial Intelligence “Well-Being in Information Society”, Nov 2014, Pécs, Hungary (2014)
|
|
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 |
Instrumentation of annotated c programs for test generation
|
|
|
|
In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
|
|
