Searching for authors named "Jan Philipps" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
