Skip to content
Snippets Groups Projects
Commit 38a78b21 authored by Pamela Dyer's avatar Pamela Dyer
Browse files

Updated Title Line

parent 5b45b436
No related branches found
No related tags found
1 merge request!2Pamela branch
Hide whitespace changes
Inline Side-by-side
Application_examples/Railroad_Crossing_Safety.mp
+ 2
− 1
View file @ 38a78b21
/*
/* Model of [Railroad_Crossing_Safety]
Example 27. Timing attribute use.
Railroad crossing example from [Formal Methods for Real-Time Computing, 1996].
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment