( en | de | ru )

 

Disambiguation of "Gardner, William B."

Author of the publication

copydeleteadd this publication to your clipboard
Rapid Prototyping of Embedded Software Using Selective Formalism.

, , and . IEEE International Workshop on Rapid System Prototyping, page 99-104. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matthew Gardner

Philippa Gardner

Johann Gardner

David Gardner

Richard Gardner

 

Other publications of authors with the same name

Synthesis of C++ software for automated teller from CSPm specifications., and . SAC, page 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., and . ECBS, page 193-201. IEEE Computer Society, (2005)Supporting Selective Formalism in CSP++ with Process-Specific Storage., , and . HPCC/CSS/ICESS, page 1057-1065. IEEE, (2015)Mise en Scene: Converting Scenarios to CSP Traces in Support of Requirements-Based Programming., and . SEW, page 41-52. IEEE Computer Society, (2007)Log Visualization Tool for Message-Passing Programming in Pilot., and . IPDPS Workshops, page 331-338. IEEE Computer Society, (2017)An Object-Oriented Layered Approach to Interfaces for Hardware/Software Codesign of Embedded Systems., and . HICSS (7), page 197-206. IEEE Computer Society, (1998)CSP++: How Faithful to CSPm?. CPA, volume 63 of Concurrent Systems Engineering Series, page 129-146. IOS Press, (2005)A new Canadian interdisciplinary Ph.D. in computational sciences., , , , , and . J. Comput. Sci., (2015)Converting scenarios to CSP traces with Mise en Scene for requirements-based programming., and . Innov. Syst. Softw. Eng., 4 (1): 45-70 (2008)