• The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV 

  Schellhorn, Gerhard et al. (1998)

  Teil eines Buches
  
  

• System Support for the Interactive Transformation of Functional Programs 

  Vullinghs, Ton; Schulte, Wolfram; Partsch, Helmuth (1999)

  Beitrag zu einer Konferenz
  
  

• Electronic Decal: A Security Function Based on V2X Communication 

  Knapik, Peter; Schoch, Elmar; Kargl, Frank (2013)

  Beitrag zu einer Konferenz
  
  

• Bezier Spline Fitting Approach for Rotational Animation Encoding in MPEG 4 Part 25 

  Wuenschmann, Juergen et al. (2013)

  Beitrag zu einer Konferenz
  
  

• Enabling Personalized Process Schedules with Time-Aware Process Views 

  Lanz, Andreas; Kolb, Jens; Reichert, Manfred (2013)

  Beitrag zu einer Konferenz
  
  

• Structuring graphical paradigms in TkGofer 

  Claessen, K. et al. (1997)

  Beitrag zu einer Konferenz
  
  

• Energy consumption of IEEE 802.11 connected consumer electronic devices 

  Pregizer, Florian; Fehrenbacher, Daniel (2013)

  Beitrag zu einer Konferenz
  
  

• Attention-Gated Reinforcement Learning in Neural Networks-A Unified View 

  Brosch, Tobias; Schwenker, Friedhelm; Neumann, Heiko (2013)

  Beitrag zu einer Konferenz
  
  

• Structured specifications and interactive proofs with KIV 

  Reif, Wolfgang et al. (1998)

  Teil eines Buches
  
  

• Structured Formal Development in VSE II: The Robertino Case Study 

  Rock, G. et al. (1999)

  Beitrag zu einer Konferenz
  
  

View more