BibSonomy :: author  :: Boca ::

bookmarks

publications

(51)

• Using EventB to Create a Virtual Machine Instruction Set Architecture.
  Stephen Wright ABZ 265-279 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
  Jörg Beckers and Daniel Klünder and Stefan Kowalewski and Bastian Schlich ABZ 112-124 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• A Roadmap for the Rodin Toolset.
  Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede and Laurent Voisin ABZ 347 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).
  Margus Veanes and Ando Saabas ABZ 355 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• UML-B: A Plug-in for the Event-B Tool Set.
  Colin F. Snook and Michael Butler ABZ 344 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Exploiting the ASM Method for Validation & Verification of Embedded Systems.
  Angelo Gargantini and Elvinia Riccobene and Patrizia Scandurra ABZ 348 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.
  Egon Börger and Bernhard Thalheim ABZ 24-38 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.
  Wolfram Büttner ABZ 1-3 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• A First Attempt to Express KAOS Refinement Patterns with Event B.
  Abderrahman Matoussi and Frédéric Gervais and Régine Laleau ABZ 338 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX  
• Integrating Z into Large Projects Tools and Techniques.
  Anthony Hall ABZ 337 (2008)
  to dblp by dblp on 2008-09-26 00:00:00
  | URL | BibTeX