Human space flight systems, observatories, satellites, instruments, and missile defense systems.
forum
Submitted by Anonymous on Thu, 03/31/2016 - 9:51am
CALL FOR PAPERS
colocated at 9th International Workshop on Numerical Software Verification (CAV 2016)
July 17-18, 2016 | Toronto, Ontario, Canada | http://nsv2016.pages.ist.ac.at/
Important Dates
page
Submitted by el_wehby on Wed, 02/10/2016 - 6:16pm
| LEAD PI |
TITLE (with link to Poster and Abstract) |
VIDEO |
event
Submitted by Anonymous on Fri, 12/04/2015 - 12:38pm
The 8th NASA Formal Methods Symposium (NFM 2016)
McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455
Theme of the Symposium
forum
Submitted by Anonymous on Fri, 12/04/2015 - 12:33pm
CALL FOR PAPERS
The 8th NASA Formal Methods Symposium (NFM 2016)
http://crisys.cs.umn.edu/nfm2016 | June 07 - June 09 2016
McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455
Theme of the Symposium
event
Submitted by Anonymous on Thu, 04/16/2015 - 3:22pm
About CODES+ISSS
The International Conference on Hardware/Software Codesign and System Synthesis is the premier event in the design, modeling, analysis, and implementation of modern embedded systems, from system-level specification and optimization to hardware/software implementation. The conference is a forum for active discussions on various topics of current and future importance to designers and researchers. The program of the conference brings together the latest and the best in academic and industrial research and development.
event
Submitted by akarns on Fri, 03/27/2015 - 3:59pm
Embedded Real Time Software and Systems (ERTS2 2016)
The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:
