( en | de | ru )

 

Disambiguierung von "Capel, Manuel I."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos.

, und . JISBD, Seite 375-390. (2001)

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.

David Capel

Gottfried Capell

Heinz Capelle

Annemarie Capelle

Rainer Capellmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards the Correctness Verifcation of Business Processes Modelled with UML., , und . JISBD, Seite 159-170. (2008)BTRANSFORMER - A Tool for BPMN to CSP+T Transformation., , , , , und . ICEIS (3), Seite 363-366. SciTePress, (2011)A Formal Compositional Verification Approach for Safety-Critical Systems Correctness - Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software., und . ICEIS (2), Seite 105-112. SciTePress, (2012)Automatic test cases generation from formal contracts., , und . Inf. Softw. Technol., (2024)Systematic Design of Real-Time Systems Based on CSP+T Process Algebra., , und . VVEIS, Seite 81-83. INSTICC Press, (2004)Integration of ICT in Concurrent and Parallel Programming Lectures., , und . Euro-Par Workshops, Volume 9523 von Lecture Notes in Computer Science, Seite 114-124. Springer, (2015)A proposal to improve reusability in a language based on the occam-CSP model., , , und . PDP, Seite 41-46. IEEE Computer Society, (1997)Paradigms for Parallel Distributed Programming., , , und . PDPTA, Seite 1027-1038. CSREA Press, (1996)Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos., und . JISBD, Seite 375-390. (2001)CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code., , , und . MSVVEIS, Seite 128-133. INSTICC Press, (2006)