Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Toom, Andres
42  Ergebnisse:
Personensuche X
?
1

Building Trust in a Model-Based Automatic Code Generator:

Taft, S. Tucker ; Richa, Elie ; Toom, Andres
ACM SIGAda Ada Letters.  36 (2017)  2 - p. 54-57 , 2017
Link: https://doi.org/10.1145/..
 
?
2

Building Trust in a Model-Based Automatic Code Generator:

Taft, S. Tucker ; Richa, Elie ; Toom, Andres
ACM SIGAda Ada Letters.  36 (2017)  2 - p. 54-57 , 2017
Link: https://dl.acm.org/doi/1..
 
?
3

A software product line approach for semantic specification..:

, In: Proceedings of the 18th International Software Product Line Conference - Volume 1,
Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc - p. 217-226 , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Model-based formal specification of a DSL library for a qua..:

, In: Proceedings of the 12th Workshop on OCL and Textual Modelling,
Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc - p. 61-62 , 2012
Link: https://dl.acm.org/doi/1..
 
?
5

System-level co-simulation of integrated avionics using pol..:

, In: Proceedings of the 2011 ACM Symposium on Applied Computing,
Yu, Huafeng ; Ma, Yue ; Glouche, Yann... - p. 354-359 , 2011
Link: https://dl.acm.org/doi/1..
 
?
6

Block Library Driven Translation Validation for Dataflow Mo..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
https://oatao.univ-toulouse.fr/18249/1/dieumegard_18249.pdf.  , 2016
Link: https://oatao.univ-toulo..
 
?
7

Formal specification of block libraries in dataflow languag..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-02272313.  , 2014
Link: https://hal.archives-ouv..
 
?
8

Formal specification of block libraries in dataflow languag..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-02272313.  , 2014
Link: https://hal.science/hal-..
 
?
9

Specifying and Verifying Model Transformations for Certifie..:

Toom, Andres ; Dieumegard, Arnaud ; Pantel, Marc
hal-02272309.  , 2014
Link: https://hal.science/hal-..
 
?
10

Software product line for semantic specification of block l..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-00996850.  , 2014
Link: https://hal.archives-ouv..
 
?
11

Software product line for semantic specification of block l..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-00996850.  , 2014
Link: https://hal.science/hal-..
 
?
12

Software product line for semantic specification of block l..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-00996850.  , 2014
Link: https://hal.science/hal-..
 
?
13

Formal specification of block libraries in dataflow languag..:

Dieumegard, Arnaud ; Toom, Andres ; Pantel, Marc
hal-02272313.  , 2014
Link: https://hal.science/hal-..
 
?
14

Specifying and Verifying Model Transformations for Certifie..:

Toom, Andres ; Dieumegard, Arnaud ; Pantel, Marc
hal-02272309.  , 2014
Link: https://hal.science/hal-..
 
?
15

Specifying and Verifying Model Transformations for Certifie..:

Toom, Andres ; Dieumegard, Arnaud ; Pantel, Marc
hal-02272309.  , 2014
Link: https://hal.archives-ouv..
 
1-15