633 followers
RT @andwor: The Festschrift dedicated to the 60th birthday of Edward A. Lee comprises our chapter "Abstraction and Refinement in Hierarchic…
RT @andwor: The Festschrift dedicated to the 60th birthday of Edward A. Lee comprises our chapter "Abstraction and Refinement in Hierarchic…
The Festschrift dedicated to the 60th birthday of Edward A. Lee comprises our chapter "Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures" on formal time-synchronous focus architectures. Find the PDF at https://t