KRONOS是一种使用时间自动机模型的实时系统验证工具,它可以避免时间自动机求积时状态空间的爆炸。
该解决方案始于一个简单的想法:记录员工时间事务必定有一种更加简单的方式。之后,一个创新接着一个创新,这个想法已经发展成为我们所谓的劳动力管理。
说明
为了更好地满足客户需要,Kronos 中国在整个大中华区设置了四个位置理想的办事处。Kronos 中国的总部位于北京,设有上海分公司、广州销售办事处,并在香港设立了一个亚太区控股公司。Kronos 的客户包括很多中国各行业中最大的公司和最知名的公司。多样化行业中的各个机构 — 包括制造商、零售商、医疗机构、服务机构、交通运输和物流公司、航空公司和政府机关 — 绝大多数都选择了 Kronos。Kronos中国注册名为克罗诺思软件(北京)有限公司。