C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
Viorel Preoteasa
Timo Latvala
Kimmo Varpaaniemi
Published in:
CS&P (2019)
Keyphrases
</>
programmable logic
reactive systems
transition systems
information flow
model checking
petri net
formal methods
temporal logic
field programmable gate array
control flow
real time systems
social networks
real time
pattern recognition