Browsing Institutt for informatikk by Author "Pace, Gordon J."

Now showing items 1-2 of 2

  • FLACOS’08 Workshop proceedings 
    Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
    The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08) is held in Malta. The aim of the workshop is to bring together researchers and practitioners working on language-based solutions ...
  • Relaxing goodness is still good for SPDIs 
    Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
    Polygonal hybrid systems (SPDIs) are planar hybrid systems, whose dynamics are defined in terms of constant differential inclusions, one for each of a number of polygonal regions partitioning the plane. The reachability ...