W.-N. Chin
Editor
Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium
Contributors
S. Qin dcs0sq@durham.ac.uk
Editor
Citation
Chin, W.-N., & Qin, S. (Eds.). (2009). Theoretical Aspects of Software Engineering. The 3rd IEEE International Symposium. Institute of Electrical and Electronics Engineers
| Book Type | Edited Book |
|---|---|
| Publication Date | Jul 1, 2009 |
| Deposit Date | Nov 23, 2009 |
| Publisher | Institute of Electrical and Electronics Engineers |
| Public URL | https://durham-repository.worktribe.com/output/1132350 |
| Publisher URL | http://ieeexplore.ieee.org/servlet/opac?punumber=5198469 |
You might also like
PTSC: probability, time and shared-variable concurrency
(2009)
Journal Article
Verifying BPEL-like Programs with Hoare Logic
(2008)
Journal Article
An Algebraic Hardware/Software Partitioning Algorithm
(2002)
Journal Article
From statecharts to verilog : a formal approach to hardware/software co-specification
(2006)
Journal Article
Timed Automata Patterns
(2008)
Journal Article
Downloadable Citations
About Durham Research Online (DRO)
Administrator e-mail: dro.admin@durham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2025
Advanced Search