Paper Info
Title
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL.
Year
Venue
DocType
2017
Concurrency, Security, and Puzzles
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Simon Foster16313.44
Jim Woodcock253477.08