Publications

Interactive Verification of Safety-Critical Software

AuthID
P-008-KC3

Author(s)

da Cruz, D

Henriques, PR

Pinto, JS

Document Type

Proceedings Paper

Year published

2013

Published

in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) in Proceedings International Computer Software and Applications Conference, ISSN: 0730-3157

Pages: 519-528 (10)

Conference

Ieee 37Th Annual Computer Software and Applications Conference (Compsac), Date: JUL 22-26, 2013, Location: Kyoto, JAPAN, Sponsors: IEEE, IEEE Comp Soc, Informat Proc Soc Japan, Korean Inst Informat Scientists & Engineers, CCF, Tateisi Sci & Technol Fdn, Kyoto Univ, Iowa State Univ Sci & Technol

Indexing