A method for verifying real-time properties of Ada programs

T. Gerdsmeier, Rachel Cardell-Oliver

Research output: Chapter in Book/Conference paperConference paperpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the Seventh IEEE International Conference on Engineering of Complex Computer Systems
Place of PublicationCalifornia
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages35-43
VolumeN/A
EditionSkovde, Sweden
ISBN (Print)0769511597
Publication statusPublished - 2001
EventA method for verifying real-time properties of Ada programs - Skovde, Sweden
Duration: 1 Jan 2001 → …

Conference

ConferenceA method for verifying real-time properties of Ada programs
Period1/01/01 → …

Cite this