Tag: verification (spaceflight) - flazx.us

Updates

Latest Tweet

Flazx

What's New?

Check out for latest innovation, a computer based training video collection

Like this Page

verification (spaceflight)

Home / Tags / verification (spaceflight) /

Showing 2012 and older publications, page 1 of 2 First Page Next Page Last Page

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

September 2011

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering)

February 2011

Verification of Sequential and Concurrent Programs

October 2010

Verification Techniques for System-Level Design (Systems on Silicon)

October 2007

Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series)

October 2007

Reactive Systems: Modelling, Specification and Verification

August 2007

Effective Functional Verification: Principles and Processes

July 2006

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

June 2004

Numerical Software with Result Verification

April 2004

Software Reliability Methods

June 2001

Publication by Year

Copyright 2010-2011. All rights reserved.