( en | de | ru )

 

Disambiguierung von "Gardner, William B."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CSP++: an object-oriented application framework for software synthesis from CSP specifications.

. University of Victoria, Canada, (1999)

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.

Philippa Gardner

Matthew Gardner

Johann Gardner

David Gardner

Richard Gardner

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of C++ software for automated teller from CSPm specifications., und . SAC, Seite 1565-1566. ACM, (2005)CSP++: an object-oriented application framework for software synthesis from CSP specifications.. University of Victoria, Canada, (1999)Synthesis of C++ Software from Verifiable CSPm Specifications., und . ECBS, Seite 193-201. IEEE Computer Society, (2005)Log Visualization Tool for Message-Passing Programming in Pilot., und . IPDPS Workshops, Seite 331-338. IEEE Computer Society, (2017)Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming., und . SEW, Seite 41-52. IEEE Computer Society, (2007)Supporting Selective Formalism in CSP++ with Process-Specific Storage., , und . HPCC/CSS/ICESS, Seite 1057-1065. IEEE, (2015)An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems., und . HICSS (7), Seite 197-206. IEEE Computer Society, (1998)Supporting Timed CSP Operators in CSP++., und . CPA, Seite 89-106. Open Channel Publishing Ltd., (2012)The pilot approach to cluster programming in C., , und . IPDPS Workshops, Seite 1-8. IEEE, (2010)Rapid Prototyping of Embedded Software Using Selective Formalism., , und . IEEE International Workshop on Rapid System Prototyping, Seite 99-104. IEEE Computer Society, (2005)