Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Supporting the Design of Safety Critical Systems Using AADL.

T. Correa, L. Becker, J. Farines, J. Bodeveix, M. Filali, und F. Vernadat. ICECCS, Seite 331-336. IEEE Computer Society, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jean-Noel Grad University of Stuttgart

Lisa-Marie Krauß University of Stuttgart

Marie Leimkühler University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

Dr. Eric Jean Kervio University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Applying educational models in technological education.E. Cantú, und J. Farines. EAIT, 12 (3): 111-122 (2007)A Support Platform for Distributed Editing.J. Farines, und U. Fritzke. CRIWG, Seite 97-109. (1995)A Path Selection Criterion for Advance Resource Reservation.E. e Silva, J. Farines, und M. Diaz. NTMS, Seite 1-5. IEEE, (2011)Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.R. de Oliveira, G. Santos, J. Farines, und L. Becker. SBESC, Seite 27-32. IEEE Computer Society, (2011)RTR model: an approach for dealing with real-time programming in open distributed systems.J. da Silva Fraga, J. Farines, und O. Furtado. WORDS, Seite 240-247. IEEE Computer Society, (1997)Implementing Traffic Engineering in MPLS-Based IP Networks with Lagrangean Relaxation.R. Dias, E. Camponogara, J. Farines, R. Willrich, und A. Campestrini. ISCC, Seite 373-378. IEEE Computer Society, (2003)A DTN routing strategy based on neural networks for urban bus transportation system.F. Segundo, E. e Silva, und J. Farines. J. Network and Computer Applications, (2016)Towards the verification of real-time systems in avionics: the Cotre approach.B. Berthomieu, P. Ribet, F. Vernadat, J. Bernartt, J. Farines, J. Bodeveix, M. Filali, G. Padiou, P. Michel, P. Farail und 3 andere Autor(en). Electron. Notes Theor. Comput. Sci., (2003)Supporting the Design of Safety Critical Systems Using AADL.T. Correa, L. Becker, J. Farines, J. Bodeveix, M. Filali, und F. Vernadat. ICECCS, Seite 331-336. IEEE Computer Society, (2010)Building maps with Multi-Robot Systems under limited communication.J. de Carvalho Filho, J. Farines, und J. Cury. ICAR, Seite 415-421. IEEE, (2015)