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

A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.

P. Regnier, G. Lima, und A. Andrade. Electron. Notes Theor. Comput. Sci., (2009)

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.

Aline Reck University of Stuttgart

Aline Riedle University of Stuttgart

Claudia Marianowski University of Stuttgart

Aline Wieders-Lohéac University of Stuttgart

Apl. Prof. Dr. Maria Fyta University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A development process for mechatronic products: Integrating software engineering and product engineering.A. Magalhães, A. Andrade, L. Silva, und H. Lepikson. ETFA, Seite 1149-1156. IEEE, (2007)A Model Driven Transformation Development Process for Model to Model Transformation.A. Magalhães, A. Andrade, und R. Maciel. SBES, Seite 3-12. ACM, (2016)Towards a Metamodel Design Methodology: Experiences from a model transformation metamodel design.A. Magalhães, R. Maciel, und A. Andrade. SEKE, Seite 625-630. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol.P. Regnier, G. Lima, und A. Andrade. Electron. Notes Theor. Comput. Sci., (2009)MTP: Model Transformation Profile.A. Magalhães, A. Andrade, und R. Maciel. SBCARS, Seite 109-118. IEEE Computer Society, (2013)Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems.A. Muniz, A. Andrade, und G. Lima. ISSE, 6 (1-2): 29-37 (2010)Improving Web Service Discovery by a Functional and Structural Approach.R. Amorim, D. Claro, D. Lopes, P. Albers, und A. Andrade. ICWS, Seite 411-418. IEEE Computer Society, (2011)A Systematic Review of Software Requirements Selection and Prioritization Using SBSE Approaches.A. Pitangueira, R. Maciel, M. de Oliveira Barros, und A. Andrade. SSBSE, Volume 8084 von Lecture Notes in Computer Science, Seite 188-208. Springer, (2013)Model driven transformation development (MDTD): An approach for developing model to model transformation.A. Magalhães, A. Andrade, und R. Maciel. Information & Software Technology, (2019)On the Specification of Model Transformations through a Platform Independent Approach.A. Magalhães, A. Andrade, und R. Maciel. SEKE, Seite 558-561. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2015)