]> BibSonomy publications for /author/Boca http://www.bibsonomy.org/burst/author/Boca BibSonomy BuRST Feed for /author/Boca 2008-10-08T10:54:12+02:00 Using EventB to Create a Virtual Machine Instruction Set Architecture. dblphttp://www.bibsonomy.org/bibtex/220b3588b67cf75aa4d3fa93352ef2098/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008265-279Lecture Notes in Computer ScienceUsing EventB to Create a Virtual Machine Instruction Set Architecture.52382008dblp 2008-09-26 00:00:00.0 Direct Support for Model Checking Abstract State Machines by Utilizing Simulation. dblphttp://www.bibsonomy.org/bibtex/2748353ddbf7434e3dae4282c42ae871b/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008112-124Lecture Notes in Computer ScienceDirect Support for Model Checking Abstract State Machines by Utilizing Simulation.52382008dblp 2008-09-26 00:00:00.0 A Roadmap for the Rodin Toolset. dblphttp://www.bibsonomy.org/bibtex/222428c46edfa73ef09a928be5d707ef8/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008347Lecture Notes in Computer ScienceA Roadmap for the Rodin Toolset.52382008dblp 2008-09-26 00:00:00.0 Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). dblphttp://www.bibsonomy.org/bibtex/217f66ed3fa5c2fed67f806696b8246a1/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008355Lecture Notes in Computer ScienceUsing Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).52382008dblp 2008-09-26 00:00:00.0 UML-B: A Plug-in for the Event-B Tool Set. dblphttp://www.bibsonomy.org/bibtex/2485a8ad99492e5f65a1a5bb1b2f654f6/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008344Lecture Notes in Computer ScienceUML-B: A Plug-in for the Event-B Tool Set.52382008dblp 2008-09-26 00:00:00.0 Exploiting the ASM Method for Validation & Verification of Embedded Systems. dblphttp://www.bibsonomy.org/bibtex/27c76d56233397058772ee17cd48f5e5e/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008348Lecture Notes in Computer ScienceExploiting the ASM Method for Validation & Verification of Embedded Systems.52382008dblp 2008-09-26 00:00:00.0 Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. dblphttp://www.bibsonomy.org/bibtex/276d48dfaaadfc0c765c8708019aa02f3/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/200824-38Lecture Notes in Computer ScienceModeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.52382008dblp 2008-09-26 00:00:00.0 Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity. dblphttp://www.bibsonomy.org/bibtex/29a7ec2691fcb7da9cfe2edf7312c1270/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/20081-3Lecture Notes in Computer ScienceComplex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity.52382008dblp 2008-09-26 00:00:00.0 A First Attempt to Express KAOS Refinement Patterns with Event B. dblphttp://www.bibsonomy.org/bibtex/2afd6201d2d525514880ced834096ca62/dblp dblp 2008-09-26T00:00:00+02:00 dblp
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 ]]> ABZconf/asm/2008338Lecture Notes in Computer ScienceA First Attempt to Express KAOS Refinement Patterns with Event B.52382008dblp 2008-09-26 00:00:00.0 Integrating Z into Large Projects Tools and Techniques. dblphttp://www.bibsonomy.org/bibtex/2c2b0c61e1bf4d3a8d7531904a5443bae/dblp dblp 2008-09-26T00:00:00+02:00 dblp
Integrating Z into Large Projects Tools and Techniques.
Anthony Hall ABZ 337 (2008)
to dblp by dblp on 2008-09-26 00:00:00 ]]> ABZconf/asm/2008337Lecture Notes in Computer ScienceIntegrating Z into Large Projects Tools and Techniques.52382008dblp 2008-09-26 00:00:00.0