搜索页_+Formal+modelling

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(3)	Springer电子图书(19)	CNKI学位论文(3998)	知网期刊论文(1105)
馆藏书目(1)	CNKI会议论文(6)	CNKI期刊论文0611(3)

在“Elsevier电子期刊”中，命中：1,467条，耗时：0.0969542 秒

在所有数据库中总计命中：5,135条

1.Formal modelling and verification of interlocking systems featuring sequential release

作者：Linh Hong Vu^a ; ¹ ; ^lvho@dtu.dk ; Anne E. Haxthausen^a ; ¹ ; ^aeha@dtu.dk ; Jan Peleska^b ; ² ; ^{jp@cs.uni-bremen.de}

关键词：Railway interlocking systems ; Sequential release ; Formal verification ; Bounded model checking ; k-Induction

刊名：Science of Computer Programming

出版年：2017

2.Formal verification of complex business processes based on high-level Petri nets

作者：Ahmed Kheldoun^a ; Kamel Barkaoui ; ^b ; ^{kamel.barkaoui@cnam.fr} ; Malika Ioualalen^a

关键词：Business process modelling ; BPMN ; RECATNets ; Conditional rewriting logic ; Maude language and tool

刊名：Information Sciences

出版年：2017

3.Modelling the impacts of policies on advanced biofuel feedstocks diffusion

作者：Lauro André ; Ribeiro^a ; ^{lauro.ribeiro@imed.edu.br} ; Patrí ; cia Pereira da Silva^b ; ^{patsilva@fe.uc.pt} ; Leila Ribeiro^c ; ^{leila@inf.ufrgs.br} ; Fernando Luí ; s Dotti^d ; ^{Fernando.dotti@pucrs.br}

关键词：Advanced biofuels ; Economic diffusion ; Renewables ; Transportation ; Emerging technologies ; Modelling

刊名：Journal of Cleaner Production

出版年：2017

4.Models and data engineering

作者：Ladjel Bellatreche^a ; ^{bellatreche@ensma.fr}Author Vitae ; Yamine Ait Ameur^b ; ^{yamine@enseeiht.fr}Author Vitae ; George Angelos Papadopoulos^c ; ^{george@cs.ucy.ac.cy}Author Vitae

关键词：Modelling ; Ontologies ; Formal methods ; Engagement systems ; Data warehouses ; Clustering ; Model and data stores

刊名：Future Generation Computer Systems

出版年：2017

5.Models and data engineering

作者：Ladjel Bellatreche^a ; ^{bellatreche@ensma.fr} ; Yamine Ait Ameur^b ; ^{yamine@enseeiht.fr} ; George Angelos Papadopoulos^c ; ^{george@cs.ucy.ac.cy}

关键词：Modelling ; Ontologies ; Formal methods ; Engagement systems ; Data warehouses ; Clustering ; Model and data stores

刊名：Future Generation Computer Systems

出版年：2017

6.Integrated crisis-energy policy: Macro-evolutionary modelling of technology, finance and energy interactions

作者：Karolina Safarzyńska^a ; ^{ksafarzynska@wne.uw.edu.pl}Author Vitae ; Jeroen C.J.M. van den Bergh^b ; ^c ; ¹ ; ^{jeroen.bergh@uab.es}Author Vitae

关键词：Financial-economic crisis ; Energy ; Inequality ; Macroevolutionary modelling

刊名：Technological Forecasting and Social Change

出版年：2017

7.Conceptualising the public health role of actors operating outside of formal health systems: The case of social enterprise

作者：Michael J. Roy^a ; ^c ; ^{michael.roy@gcu.ac.uk} ; Rachel Baker^a ; Susan Kerr^b

关键词：UK ; Social enterprise ; Public health ; Conceptual modelling ; Logic models

刊名：Social Science & Medicine

出版年：2017

8.Bracket formalism applied to phase field models of alloy solidification

作者：P.C. Bollada ; ^{p.c.bollada@leeds.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; P.K. Jimack ; A.M. Mullis

关键词：Phase field ; Alloy solidification ; Non-equilibrium thermodynamics

刊名：Computational Materials Science

出版年：2017

9.Dynamic state machines for modelling railway control systems

作者：M. Benerecetti^a ; R. De Guglielmo^c ; U. Gentile^a ; S. Marrone^b ; N. Mazzocca^a ; R. Nardone^a ; ^{roberto.nardone@unina.it} ; A. Peron^a ; L. Velardi^c ; V. Vittorini^a

关键词：Dynamic STate machines ; Promela model ; ERTMS/ETCS ; Control system ; Verification and validation

刊名：Science of Computer Programming

出版年：2017

10.Risk information formalisation with graphs

作者：Bernard Kamsu-Foguem^a ; ^{Bernard.Kamsu-Foguem@enit.fr}Author Vitae ; Pierre Tiako^bAuthor Vitae

关键词：Formal modelling ; Production logistics ; Conceptual graphs ; Risk management ; Aeronautics

刊名：Computers in Industry

出版年：2017

按检索点细分(1467)

题名(55)

关键词(69)

文摘(818)

按出版年细分(1467)

2027年及以后(42)

2017年(19)

2016年(68)

2015年(13)

2014年(2)

2013年(75)

2012年(83)

2011年(100)

2010年(82)

2009年(98)

2008年(89)

2007年(110)

2006年(87)

2005年(50)

2004年(53)

2003年(60)

2002年(48)

2001年(47)

2000年(53)

2000年及以前(288)