2007-12-01
Applications of Formal Methods to System Design and Verification
Publication
Publication
Journal of Universal Computer Science , Volume 13 - Issue 13 p. 1970- 2104
Presented at the
International Workshop on Foundations of Software Engineering, Tehran, Iran
Additional Metadata | |
---|---|
formal methods, verification, hardware/software co-design, self-evolving Petri nets, e-barter, model checking, spanning tree protocol | |
Software (theme 1) | |
www.jucs.org | |
F. Arbab (Farhad) , M. Sirjani (Marjan) | |
Journal of Universal Computer Science | |
International Workshop on Foundations of Software Engineering | |
Organisation | Computer Security |
Arbab, F, & Sirjani, M (Eds.). (2007). Applications of Formal Methods to System Design and Verification. In F Arbab & M Sirjani (Eds.), Journal of Universal Computer Science (Vol. 13, pp. 1970–2104). www.jucs.org.
|