Joshua Krisiloff

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Cyber Physical Systems

Quantitative Analysis

Real Environment

Top Venues

Sci. Comput. Program.

Publications

Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study. Sci. Comput. Program. 103 (2015)
Kyungmin Bae, Joshua Krisiloff, José Meseguer, Peter Csaba Ölveczky
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude FTSCS (2012)