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

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.

E. Börger, G. Castillo, P. Glavan, und D. Rosenzweig. IFIP Congress (1), Volume A-51 von IFIP Transactions, Seite 396-401. North-Holland, (1994)

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.

Giuseppe Mannone University of Stuttgart

Daniel Del Gaudio University of Stuttgart

Juan Carlos del Valle Morales University of Stuttgart

Sergio del Olmo Cabrera University of Stuttgart

Tahsin Deliktas University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.E. Börger, und G. Castillo. ICECCS, Seite 145-148. IEEE Computer Society, (1995)Model Checking Support for the ASM High-Level Language.G. Castillo, und K. Winter. TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 331-346. Springer, (2000)An Evolving Algebra Abstract Machine.G. Castillo, I. Durdanovic, und U. Glässer. CSL, Volume 1092 von Lecture Notes in Computer Science, Seite 191-214. Springer, (1995)The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models.G. Castillo. University of Paderborn, Germany, (2001)Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.W. Hardt, P. Altenbernd, C. Böke, G. Castillo, C. Ditze, E. Erpenbach, U. Glässer, B. Kleinjohann, G. Lehrenfeld, F. Rammig und 4 andere Autor(en). DIPES, Volume 155 von IFIP Conference Proceedings, Seite 181-190. Kluwer, (1998)The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines.G. Castillo. Workshop on Abstract State Machines, Seite 139-154. (1998)Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models.G. Castillo, und W. Hardt. CODES, Seite 77-81. IEEE Computer Society, (1998)Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.G. Castillo. FM-Trends, Volume 1641 von Lecture Notes in Computer Science, Seite 311-325. Springer, (1998)The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.G. Castillo. TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 578-581. Springer, (2001)Computer-Aided Analysis and Validation of Heterogeneous System Specifications.G. Castillo, und U. Glässer. EUROCAST, Volume 1798 von Lecture Notes in Computer Science, Seite 55-79. Springer, (1999)