ISO形式描述语言LOTOS

机译：弥合行为形式描述技术和用户界面描述语言之间的鸿沟：通过图形用户界面标记语言增强ICO

机译：基于形式意图的轨迹描述语言

机译：使用规范和描述语言形式化地理模型：Wildfire示例

机译：形式描述语言LOTOS在过程控制系统设计中的应用

机译：连接系统描述语言与形式验证

机译：使用LOTOS形式化无线传感器网络应用

机译：IsO规范语言LOTOs1简介

机译：LOTOs中普通UCN层的形式化规范

机译：以寄存器传输的硬件描述语言形式进行应用程序高级综合的方法，包括构造完成状态的自动机，并以硬件描述语言的形式转换自动机

机译：各种形式的制备方法-Isomeras或立体异构体α卤代醇，酯的混合物的形式，它们的用途以及各种形式的制备方法-Isomeras或立体异构体的混合物的形式，醇酯α-氰化物

机译：Loto Loto系统应用于控制面板