"A cyber-physical system consist of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automo…
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
This volume presents articles that focus on the application of formal models in the study of language in a variety of innovative ways, and is dedicated to Jacques Moeschler, professor at University of Geneva, to mark the occasion of his 60th birthday. The contributions, by seaso…
A formal model in the social sciences builds explanations when it structures the reasoning underlying a theoretical argument, opens venues for controlled experimentation, and can lead to hypotheses. Yet more importantly, models evaluate theory, build theory, and enhance conjectu…
A formal model in the social sciences builds explanations when it structures the reasoning underlying a theoretical argument, opens venues for controlled experimentation, and can lead to hypotheses. Yet more importantly, models evaluate theory, build theory, and enhance conjectu…
Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualiza…
