Searching for authors named "Jan Philipps" – sorted by Relevance.
-
Focus: Formal Development of a Production Cell in Focus -- A Case Study
- XI. Focus Formal Development of a Production Cell in Focus A Case Study Max Fuchs, Jan Philipps
- Add To MetaCart
-
Compositional Specification of Embedded Systems with Statecharts
- Compositional Specification of Embedded Systems with Statecharts ? Jan Philipps and Peter Scholz
- Cited by 7 (1 self) – Add To MetaCart
-
Formal Verification of Statecharts with Instantaneous Chain Reactions
- Formal Verification of Statecharts with Instantaneous Chain Reactions ? Jan Philipps and Peter
- Cited by 5 (1 self) – Add To MetaCart
-
Step by Step to Histories
- Step by Step to Histories ? Max Breitling and Jan Philipps Institut fur Informatik Technische
- Cited by 6 (5 self) – Add To MetaCart
-
Verification Diagrams for Dataflow Properties
- Properties Max Breitling and Jan Philipps TUM-I0005 SFB-Bericht Nr. 342/03/00 A März 00 TUM–INFO–03-I0005
- Cited by 2 (2 self) – Add To MetaCart
-
Diagrams for dataflow
- Diagrams for Dataflow ∗ Max Breitling Jan Philipps Institut für Informatik Technische Universität
- Cited by 1 (1 self) – Add To MetaCart
-
Refinement of Pipe-and-Filter Architectures
- Re nement of Pipe-and-Filter Architectures Jan Philipps and Bernhard Rumpe Institut fur Informatik
- Cited by 2 (0 self) – Add To MetaCart
-
Black Box Views of State Machines
- Breitling and Jan Philipps TUM-I9916 SFB-Bericht Nr. 342/07/99 A Oktober 99 TUM–INFO–10-I9916-100/1.–FI Alle
- Cited by 7 (5 self) – Add To MetaCart
-
Stepwise Refinement of Data Flow Architectures
- Stepwise Re nement of Data Flow Architectures Jan Philipps Bernhard Rumpe Institut fur Informatik
- Cited by 2 (1 self) – Add To MetaCart
-
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
- the Sonderforschungsbereich 342. Jan Philipps and Oscar Slotosch Institut für Informatik Technische Universität München 80290
- Cited by 14 (5 self) – Add To MetaCart

