Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Jos C. M. Baeten
[Clear All Filters]
2012
J. Markovski
,
D. A. van Beek
, and
J. C. M. Baeten
, “
Partially-Supervised Plants: Embedding Control Requirements in Plant Components
”, in
IFM
, 2012.
Google Scholar
BibTex
J. Markovski
,
P. R. D'Argenio
,
J. C. M. Baeten
, and
E. P. de Vink
, “
Reconciling real and stochastic time: the need for probabilistic refinement
”,
Formal Aspects of Computing
, vol. 24, p. 497-518, 2012.
DOI
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
