Skip to content

Commit

Permalink
Update hybrid_rebeca.md
Browse files Browse the repository at this point in the history
Add picture
  • Loading branch information
Hadi-loo authored Oct 9, 2024
1 parent e09ef90 commit 0c005a4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _projects/hybrid_rebeca.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
layout: page
title: Reachability Analysis of Hybrid Rebeca Models
description: Formal Methods and Validation of Systems Lab, University of Tehran
img: assets/img/12.jpg
img: assets/img/HybridRebeca.jpg
importance: 3
category: Reseach Projects
related_publications: false
Expand Down

0 comments on commit 0c005a4

Please sign in to comment.