Sciweavers

ICTAC
2010
Springer

Preference and Non-deterministic Choice

13 years 2 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC. Cocktail September 2nd Invited Talk: Speaker: Wolfram Schulte. Testing and Verification of Concurrent Shared-memory Systems. Chair: Marie-Claude Gaudel Technical Session : Special track (1) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Bilal Kanso, Marc Aiguier, Frédéric r and Assia Touil. Testing of Abstract Components. ‣Yunho Kim, Moonzoo Kim and Nam Dang. Scalable Distributed Concolic Testing: a Case Study on a Flash Storage Platform. ‣Reng Zeng and Xudong He. Analyzing a Formal Specification of Mondex using Model Checking. Invited Talk: Speaker: Paulo Borba. A Theory of Software Product Line Refinement. Chair: Jim Woodcock Technical Session: Special track (2) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Andrius Velykis and Leo Freitas. Formal Modelling of Separation Kernel Components. ‣Gregory Mal...
Bill Stoddart, Frank Zeyda, Steve Dunne
Added 26 Jan 2011
Updated 26 Jan 2011
Type Journal
Year 2010
Where ICTAC
Authors Bill Stoddart, Frank Zeyda, Steve Dunne
Comments (0)