Language selection

Government of Canada / Gouvernement du Canada

Search

An Approach to Formal Verification of Real Time Concurrent Ada Programs

From National Research Council Canada

AuthorSearch for: ; Search for:
FormatText, Article
ConferenceThe 12th International Workshop on Real-Time Ada, September 15-19, 2003, Viana do Castelo, Portugal
Publication date
In
  • Proceedings of the 12th International Workshop on Real-Time Ada.
LanguageEnglish
NRC numberNRCC 46573
NPARC number8898423
Export citationExport as RIS
Report a correctionReport a correction (opens in a new tab)
Record identifier336a95d3-4826-444e-b260-c86ee63e6dcf
Record created2009-04-22
Record modified2021-01-05
Date modified: