Stop the war!
Остановите войну!
for scientists:
default search action
Formal Methods in System Design, Volume 38
Volume 38, Number 1, February 2011
- Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects. 1-32 - Jan Olaf Blech, Benjamin Grégoire:
Certifying compilers using higher-order theorem provers as certificate checkers. 33-61 - Julia M. B. Braman, Richard M. Murray:
Bisimulation conversion and verification procedure for goal-based control systems. 62-95
Volume 38, Number 2, April 2011
- Lubos Brim, Jakub Chaloupka, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin:
Faster algorithms for mean-payoff games. 97-118 - Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi:
A WSDL-based type system for asynchronous WS-BPEL processes. 119-157 - Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar:
Programs with lists are counter automata. 158-192
Volume 38, Number 3, June 2011
- Karin Quaas:
MSO logics for weighted timed automata. 193-222 - Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier:
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. 223-262 - Peter M. Maurer:
Conjugate symmetry. 263-288
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.