Items where Author is "Khosrowjerdi, Hojat"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Khosrowjerdi, Hojat and Nemati, Hamed and Meinke, Karl
(2020) Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.
In: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings postponed.
Conference: TAP International Conference on Tests and Proofs

This list was generated on Thu Nov 21 13:05:00 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.