Login / Signup
Kalyan C. Regula
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Case Study
Control Software
Object Oriented
Hardware Design
Top Venues
NASA Formal Methods
</>
Publications
</>
Kalyan C. Regula
,
Hampton Smith
,
Heather Keown
,
Jason O. Hallstrom
,
Nigamanth Sridhar
,
Murali Sitaraman
A Case Study in Verification of Embedded Network Software.
NASA Formal Methods
(2012)