1 option
VORTEX '23 : Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution : July 18, 2023 Seattle, WA, USA / edited by Davide Ancona and Giorgio Audrito.
- Format:
- Book
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Computer software--Verification--Congresses.
- Computer software.
- Distributed data processing.
- Computer science--Congresses.
- Computer science.
- Embedded computer systems--Congresses.
- Embedded computer systems.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Physical Description:
- 1 online resource (20 pages).
- Other Title:
- VORTEX 2023
- Place of Publication:
- New York, NY : Association for Computing Machinery, 2023.
- Summary:
- Welcome to the 6th Workshop on Verification and Monitoring at Runtime Execution (VORTEX 2023), hosted in Seattle (WA), USA, July 18, 2023, co-located with ECOOP/ISSTA 2023.
- Notes:
- Description based on publisher supplied metadata and other sources.
- Includes index.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.