E-LOTOS関係文書一覧

Working Draft (V3)

Kansas City会議入力文書

KC1 : A Core Data and Behaviour Language for E-LOTOS
KC2 : Position Statement Regarding E-LOTOS User Language
KC3 : French-Romanian Integrated Proposal for the User Language of E-LOTOS
KC4 : French-Romanian proposal for Capture of Requirements and Expression of Properties in E-LOTOS Modules
KC5 : General Study on the Definition of a E-LOTOS Suspend/Resume Operator (未入手)
KC6 : Defining Equivalencies between Time/Actions Graphs and Times Actions Graphs (未入手)
KC7 : Comments for Japanese Experts on "Time Extended LOTOS"

Kansas City Meeting Minutes

Kansas City Meeting Outputs