维普期刊资源整合服务平台（V6.5）

26篇 您的检索式：作者名="Majzik"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Automatic verification of a behavioural subset of UML Statechart digrams using the SPIN model-checker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，11，6：	1
2	Growing and stability of gold nanoparticles and their functionalization by cysteine显示文摘	Majzik A Patakfalvi R Homok V	2009	Gold Bull2009，42，2：	1
3	Stochastic dependability a- nalysis of system architecture based on UML Models显示文摘	Majzik I Pataricza A Bondavalli A	2003	Archi- tecting Dependable Systems2003，2677，：	1
4	The role of reactive surface sites and complexation by humic acids in the interaction of clay mineral and iron oxide particles显示文摘	Tomb cz E Libor Z Illé s E Majzik A Klumpp E		0，，：	1
5	Multiproeessor checking using watchdog processors 显示文摘	Majzik I Hohl W Pataricza A	1996	International Journal of Computer Systems Science and Engineering1996，11，5：	1
6	The role of reactive surface sites and complexation by humic acids in the interaction of clay mineral and iron oxide particles显示文摘	Tombácz E Libor Z Illés E Majzik A.and Klumpp E		0，，：	1
7	Automatic verification of a behav- ioural subset of UML statechart diagrams using the SPIN model - checker 显示文摘	LateUa D Majzik I Massink M	1999	Formal Aspects of Computing1999，，6：	1
8	Control flow checking in multitasking systems显示文摘	Majzik I Pataricza A	1995	Periodica Polytechnica Ser Electrical Engineering1995，39，1：	1
9	Automatic verification of a behavioural subset of UML stateehart diagrams using the SPIN modelcheeker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，11，6：	1
10	Automatic verification of a behavioral subset of UML statechart diagrams using the SPIN model-checker显示文摘	LATELLA D MAJZIK I MASSINK M	1999	Formal Aspects of Computing1999，11，6：	1
11	SPE-LC-MS-MS determination of phenoxy acid herbicides in surface and groundwater显示文摘	Majzikes Tothf Benkel L	2006	Chromatographia2006，63，：	1
12	Automatic verification of a behavioural subset of UML Statechart diagrams using the SPIN model-checker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，11，6：	1
13	Model-based Integration Framework for Development and Testing Tool-chains 显示文摘	Polg6r B R6th I Majzik I	2011	FORMS/FORMAT 20102011，3，：	1
14	Combined AFM and STM measurements of a silicene sheet grown on the Ag( 111 ) surface 显示文摘	MAJZIK Z TCHALALA M R SVEC M et aI	2013	Journal of Physics: Condensed Matter2013，25，22：	1
15	Automatic verification of a behavioural subset of UML Statechart diagrams using the SPIN model-checker显示文摘	Diego Latella Istvan Majzik Mieke Massink	1999	Formal Aspects of Computing1999，11，6：	1
16	Automatic Verification of a Behavioral Subset of UML Statechart Diagrams Using the SPIN Model-checker显示文摘	LATELLA D MAJZIK I MASSINK M	1999	Formal Aspects of Computing1999，，11：	1
17	Ageing in the inorganic nanoworld: example of magnetite nanoparticles in aqueous medium显示文摘	Tombacz E Illes E Majzik A	2007	Croatia Chemica Acta2007，80，34：	1
18	Automatic Verification of a Behavioral Subset of UML Statechart Diagrams Using the SPIN Modelchecker显示文摘	Latella D Majzik I Massink M	1999	Formal Aspects of Computing1999，，11：	1
19	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker显示文摘	Diego Latella Istvan Majzik Mieke Massink	1999	Formal Aspects of Computing1999，，6：	1
20	SPE-LC-MS-MS Determination of Phenoxy Acid Herbicides in Surface and Ground Water显示文摘	MAJZIK E S TOTH F BENKEL L	2006	Chromatographia2006，63，：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示