Sciweavers

Share
IFM
2007
Springer

Slotted-Circus

10 years 6 months ago
Slotted-Circus
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. September 2nd Invited Talk: Speaker: Wolfram Schulte Chair: TBD Technical Session : Special track (1) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Bilal Kanso, Marc AiguierR, 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 Chair: TBD Technical Session: Special track (2) Chair: Marie-Claude Gaudel/Jim Woodcock ‣Andrius Velykis and Leo Freitas. Formal Modelling of Separation Kernel Components. ‣Gregory Malecha and Greg Morrisett. Mechanized Verification with Sharing. ‣Ashish Darbari, Bernd Fischer and Joao Marques-Silva. Industrial-Strength Cert...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IFM
Authors Andrew Butterfield, Adnan Sherif, Jim Woodcock
Comments (0)
books