An Approach to Formal Verification of Real Time Concurrent Ada Programs

AuthorSearch for: ; Search for:
TypeArticle
ConferenceProceedings of the 12th International Workshop on Real-Time Ada, September 15-19, 2003., Viana do Castelo, Portugal
Publication date
LanguageEnglish
AffiliationNRC Institute for Information Technology; National Research Council Canada
Peer reviewedNo
NRC number46573
NPARC number8898423
Export citationExport as RIS
Report a correctionReport a correction
Record identifier336a95d3-4826-444e-b260-c86ee63e6dcf
Record created2009-04-22
Record modified2016-05-09
Bookmark and share
  • Share this page with Facebook (Opens in a new window)
  • Share this page with Twitter (Opens in a new window)
  • Share this page with Google+ (Opens in a new window)
  • Share this page with Delicious (Opens in a new window)
Date modified: