Journals
Publish with us
Publishing partnerships
About us
Blog
International Scholarly Research Notices
Table of Contents
International Scholarly Research Notices
/
2013
/
Article
/
Alg 1
/
Research Article
Formal Development of System of Systems
Algorithm 1
Event RAISE_ALARM.
event
RAISE_ALARM
where
@grd6_1
vacation = TRUE
@grd6_2
∈
motionsensors
∧
sensor_state(
s
) =
sensor_lights_on
then
@act6_1
alarm
≔
TRUE
end