Conferences in DBLP
Hartmut Ehrig Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. [Citation Graph (0, 0)][DBLP ] Conf ] Engelbert Westkämper , Matthias Bengel , Katja Fischer Basic Principles for Software Specification: Introduction to Subject Area Reference Case Study Production Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Valckenaers Challenges of Next Generation Manufacturing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ingolf Krüger , Wolfgang Prenninger , Robert Sandner , Manfred Broy Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Schäfer , Robert Wagner , Jürgen Gausemeier , Raimund Eckes An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Braatz , Markus Klein , Gunnar Schröter , Matthias Bengel A Formal Component Concept for the Specification of Industrial Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eckehard Schnieder Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Hänsel , Jan Poliak , Roman Slovák , Eckehard Schnieder Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. [Citation Graph (0, 0)][DBLP ] Conf ] Saeid Arabestani , Friedemann Bitsch , Jan-Tecker Gayen Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Kirsten Berkenkötter , Stefan Bisanz , Ulrich Hannemann , Jan Peleska Executable HybridUML and Its Application to Train Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karol Rástocný , Ales Janota , Jirí Zahradník The Use of UML for Development of a Railway Interlocking System. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Desel Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Flake , Wolfgang Müller 0003 , Ulrich Pape , Jürgen Ruf Specification and Formal Verification of Temporal Properties of Production Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Einer STOP - Specification Technique of Operational Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Michael Kristensen , Kurt Jensen Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Desel , Hans-Michael Hanisch , Gabriel Juhás , Robert Lorenz , Christian Neumair A Guide to Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Katja Fischer , Peter Göhner , Felix Gutbrodt , Uwe Katzke , Birgit Vogel-Heuser Conceptual Design of an Engineering Model for Product and Plant Automation. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Damm , Bernd Westphal Introduction to Subject Area 'Charts'. [Citation Graph (0, 0)][DBLP ] Conf ] David Harel , Hillel Kugler The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Thums , Gerhard Schellhorn , Frank Ortmeier , Wolfgang Reif Interactive Verification of Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Brill , Werner Damm , Jochen Klose , Bernd Westphal , Hartmut Wittke Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Nanette Bauer , Ralf Huuck , Ben Lukoschus , Sebastian Engell A Unifying Semantics for Sequential Function Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Ortmeier , Wolfgang Reif , Gerhard Schellhorn Introduction to Subject Area "Verification". [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner , Chris George , Anne Elisabeth Haxthausen , Christian Krog Madsen , Steffen Holmslykke , Martin Pnika "UML-ising' Formal Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Kardos , Franz J. Rammig Model Based Formal Verification of Distributed Production Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Ortmeier , Andreas Thums , Gerhard Schellhorn , Wolfgang Reif Combining Formal Methods and Safety Analysis - The ForMoSA Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Brill , Ralf Buschermöhle , Werner Damm , Jochen Klose , Bernd Westphal , Hartmut Wittke Formal Verification of LSCs in the Development Process. [Citation Graph (0, 0)][DBLP ] Conf ] Nanette Bauer , Sebastian Engell , Ralf Huuck , Sven Lohmann , Ben Lukoschus , Manuel Remelhe , Olaf Stursberg Verification of PLC Programs Given as Sequential Function Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Ruf , Roland J. Weiss , Thomas Kropf , Wolfgang Rosenstiel Modeling and Formal Verification of Production Automation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Große-Rhode On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Orejas , Elvira Pino On the Integration of Modular Heterogeneous Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Braatz , Markus Klein , Gunnar Schröter Semantical Integration of Object-Oriented Viewpoint Specification Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] 