Computing refactorings of state machines

This publication has 33 references indexed in Scilit:

• Verification of a Signature Architecture with HOL-Z
  Lecture Notes in Computer Science, 2005
• Generation of test sequences from formal specifications: GSM 11-11 standard case study
  Software: Practice and Experience, 2004
• Development of Safety-Critical Software Using Automatic Code Generation
  SAE International Journal of Advances and Current Practices in Mobility, 2004
• Applying Refactoring Techniques to UML/OCL Models
  Lecture Notes in Computer Science, 2004
• Formal Modeling and Analysis of an Avionics Triplex Sensor Voter
  Lecture Notes in Computer Science, 2003
• Refactoring design models for inductive verification
  ACM SIGSOFT Software Engineering Notes, 2002
• Specification and Development of Interactive Systems
  2001
• Step by Step to Histories
  Lecture Notes in Computer Science, 2000
• Météor: A Successful Application of B in a Large Project
  Lecture Notes in Computer Science, 1999
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995