Sven Twarok

  • Citations Per Year
Learn More
Preface Program Committee and Reviewers Part One FORMAL METHODS IN SOFTWARE DEVELOPMENT I 1. Automated Derivation of ILP Implementations from SDL Specifications S. Twarok, P. Langendoerfer and H. Koenig 2. Stepwise Design with Message Sequence Charts F. Khendek, S. Bourduas and D. Vincent 3. Formal Synthesis and Control of Soft Embedded Real-Time Systems(More)
  • 1