1 |
Enriching a Lexical Resource for French Verbs with Aspectual Information ...
|
|
|
|
BASE
|
|
Show details
|
|
2 |
A Data Viz Platform as a Support to Study, Analyze and Understand the Hate Speech Phenomenon
|
|
|
|
BASE
|
|
Show details
|
|
3 |
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
|
|
4 |
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
|
|
6 |
M.P.: Flexible protocol specification and execution: Applying event calculus planning using commitments
|
|
|
|
In: http://www.cmpe.boun.edu.tr/courses/cmpe593/spring2006/reading/p273-yolum.pdf (2002)
|
|
BASE
|
|
Show details
|
|
7 |
Toward Formalizing Structured Analysis
|
|
|
|
In: http://home.deib.polimi.it/baresi/papers/TOSEM.pdf (1998)
|
|
BASE
|
|
Show details
|
|
8 |
A Graphical Environment for the Design of Concurrent Real-Time Systems
|
|
|
|
In: http://lsi.ugr.es/~mcapel/docencia/doctorado/seguro/TL_artl/moserRamaKuttyMelliarDillon97.pdf (1997)
|
|
BASE
|
|
Show details
|
|
|
|