TS2-2 - Using Ada for model verification

June 08, 2021 • Spain

Tonu Naks-avatar-image
SPEAKER

Tonu Naks

Premium content

You must be a premium user to view this content. Individual subscription to the premium content will be released soon!

aboutabstractauthors

TS2-2 - Using Ada for model verification

June 08, 2021 • Spain

Tonu Naks-avatar-image
SPEAKER

Tonu Naks

similar conferences

AEiC

International Conference on Reliable Software Technologies

next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologiesview all
lecture cover

Thomas Robert

TS1-1 - Contributions to the implementation of global schedulers for mixed-criticality systems

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies • Jun 8, 2021

similar lectures

PLATFORM

  • Home
  • Events
  • Video Library

COMPANY

RESOURCES

Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2020 Underline - All rights reserved

Made with ❤️ in New York City