...
机译:Alvis建模语言简介
AGH, Al. Mickiewicza 30, 30-059 Kraków;
AGH, Al. Mickiewicza 30, 30-059 Kraków;
AGH, Al. Mickiewicza 30, 30-059 Kraków;
AGH, Al. Mickiewicza 30, 30-059 Kraków;
DELPHI POLAND SA, ELECTRONIC CONTROLS / E&S, ul. Podgorki Tynieckie 2, 30-399 Kraków;
RZESZÓW UNIVERSITY, Al. Rejtana 16A, 35-959 Rzeszów;
alvis language; formal verification; embedded systems.;
机译:使用Alvis语言从过程模型到并发系统
机译:第20届模型驱动工程语言和系统国际会议(MODELS'17)特别部分的介绍
机译:第18届模型驱动工程语言和系统国际会议(MODELS'15)的特刊简介
机译:用Alvis建模语言对选定的BPMN模型进行形式验证的建议
机译:引入批判性质疑技术和Toulmin模型将改善八级英语艺术类学生的争论论文写作分数吗?
机译:孩子语言学习的计算模型:介绍*
机译:SALSA和ALVIS:一种用于构建和呈现低保真算法可视化的语言和系统