Joshua Krisiloff
According to our database1,
Joshua Krisiloff
authored at least 2 papers
between 2012 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study.
Sci. Comput. Program., 2015
2012
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012