Log in

Relevant bibliographies by topics / Formal Modeling / Journal articles

To see the other types of publications on this topic, follow the link: Formal Modeling.

Journal articles on the topic 'Formal Modeling'

Author: Grafiati

Published: 4 June 2021

Last updated: 30 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formal Modeling.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Fithen, William L., Shawn V. Hernan, Paul F. O'Rourke, and David A. Shinberg. "Formal modeling of vulnerability." Bell Labs Technical Journal 8, no. 4 (February 5, 2004): 173–86. http://dx.doi.org/10.1002/bltj.10094.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Abbate, Andrew J., and Ellen J. Bass. "Modeling Affordance Using Formal Methods." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, no. 1 (September 2017): 723–27. http://dx.doi.org/10.1177/1541931213601666.

Full text

Abstract:

Affordances, or the physical interactions that an environment allows for a particular agent, are critical to the design of human-interactive systems. Researchers are developing formal models of human-device interaction that can be used to verify procedures, displays, and controls; however, no formal approaches to guide design exist for affordances. This paper presents such an approach. To model affordance formally, we instantiate an extant formalism from ecological psychology. A human-environment system model represents physical entities in an environment, properties such as 3-D spatial relations among them, and motor capabilities of a human operator. An application is demonstrated in an aircraft cabin door case study, and verification results aid in identifying an undesirable situation involving door openability.

APA, Harvard, Vancouver, ISO, and other styles

3

Zavgorodnii, V. V., A. A. Zavgorodnya, K. E. Drobotovich, O. V. Tenigin, and M. M. Shmatko. "MATHEMATICAL MODELING IN FORMAL RESEARCH METHODS." Scientific notes of Taurida National V.I. Vernadsky University. Series: Technical Sciences, no. 6 (2021): 75–79. http://dx.doi.org/10.32838/2663-5941/2021.6/12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Hawkins, Douglas M. "FIRM: Formal Inference-Based Recursive Modeling." American Statistician 45, no. 2 (May 1991): 155. http://dx.doi.org/10.2307/2684385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Geoffrion, Arthur M. "The Formal Aspects of Structured Modeling." Operations Research 37, no. 1 (February 1989): 30–51. http://dx.doi.org/10.1287/opre.37.1.30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Abdulahhad, Karam, Catherine Berrut, Jean-Pierre Chevallet, and Gabriella Pasi. "Modeling Information Retrieval by Formal Logic." ACM Computing Surveys 52, no. 1 (February 28, 2019): 1–37. http://dx.doi.org/10.1145/3291043.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kimbrough, Steven Orla, and Yao-Hua Tan. "FMEC: Formal Modeling for Electronic Commerce." Decision Support Systems 33, no. 3 (July 2002): 221–23. http://dx.doi.org/10.1016/s0167-9236(02)00012-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lygeros, J. "A formal approach to fuzzy modeling." IEEE Transactions on Fuzzy Systems 5, no. 3 (1997): 317–27. http://dx.doi.org/10.1109/91.618270.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Kaufmann, Tobias, and Beat Pfister. "Syntactic language modeling with formal grammars." Speech Communication 54, no. 6 (July 2012): 715–31. http://dx.doi.org/10.1016/j.specom.2012.01.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Xia, Mo, Kueiming Lo, Shuangjia Shao, and Mian Sun. "Formal Modeling and Verification for MVB." Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/470139.

Full text

Abstract:

Multifunction Vehicle Bus (MVB) is a critical component in the Train Communication Network (TCN), which is widely used in most of the modern train techniques of the transportation system. How to ensure security of MVB has become an important issue. Traditional testing could not ensure the system correctness. The MVB system modeling and verification are concerned in this paper. Petri Net and model checking methods are used to verify the MVB system. A Hierarchy Colored Petri Net (HCPN) approach is presented to model and simulate the Master Transfer protocol of MVB. Synchronous and asynchronous methods are proposed to describe the entities and communication environment. Automata model of the Master Transfer protocol is designed. Based on our model checking platform M3C, the Master Transfer protocol of the MVB is verified and some system logic critical errors are found. Experimental results show the efficiency of our methods.

APA, Harvard, Vancouver, ISO, and other styles

11

Windley, P. J. "Formal modeling and verification of microprocessors." IEEE Transactions on Computers 44, no. 1 (1995): 54–72. http://dx.doi.org/10.1109/12.368009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Hafdi, Kaoutar, Abdelaziz Kriouile, and Abderahman Kriouile. "Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications." International Journal of Innovative Research in Computer Science & Technology 5, no. 4 (July 31, 2017): 339–49. http://dx.doi.org/10.21276/ijircst.2017.5.4.8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

ODA, Tomohiro, Keijiro ARAKI, and Peter GORM LARSEN. "A Formal Modeling Tool for Exploratory Modeling in Software Development." IEICE Transactions on Information and Systems E100.D, no. 6 (2017): 1210–17. http://dx.doi.org/10.1587/transinf.2016fop0003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Makadok, Richard, Andrew Boysen, Arkadiy V. Sakhartov, Phebo Derk Wibbens, and Brian Wu. "Formal Modeling in the Resource Based View." Academy of Management Proceedings 2020, no. 1 (August 2020): 10286. http://dx.doi.org/10.5465/ambpp.2020.10286symposium.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Khadija Javed. "Formal Modeling of Security Concerns in Android." Lahore Garrison University Research Journal of Computer Science and Information Technology 4, no. 1 (March 26, 2020): 33–37. http://dx.doi.org/10.54692/lgurjcsit.2020.0401142.

Full text

Abstract:

The need of providing a secure environment to the users of technology is necessary to keep it going. Android devices are used by most of the population worldwide, to keep it working and developing it should be secure for the users. Applications are installed on the device by the user for specific purposes. Different applications interact with each other to perform some specific functions e.g. an application that doesn't have its built-in Calendar functionality asks for the permission to access it externally from another application/s installed on the device and this inter-application communication can result in data theft vulnerabilities because of communication with a malicious application directly or indirectly. We present a defense mechanism model named PBAD (Permission Based Attack Defense) Model, which protects the applications from interacting with malicious applications and protecting the permission protected interfaces of the innocuous applications. Our main focus is on the permission related security measures because the permission model of the Android OS is coarse-grained and it is vulnerable to attacks. The presented model is a PROMELA based model.

APA, Harvard, Vancouver, ISO, and other styles

16

Atsa Etoundi, Roger, Marcel Fouda Ndjodo, and Ghislain Abessolo Aloo. "A Formal Framework for Business Process Modeling." International Journal of Computer Applications 13, no. 6 (January 12, 2011): 27–32. http://dx.doi.org/10.5120/1784-2462.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Lieberherr, K. J., and C. Xiao. "Formal foundations for object-oriented data modeling." IEEE Transactions on Knowledge and Data Engineering 5, no. 3 (June 1993): 462–78. http://dx.doi.org/10.1109/69.224198.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Zhou, Jiantao. "Formal Verification Techniques in Workflow Process Modeling." Journal of Computer Research and Development 42, no. 1 (2005): 1. http://dx.doi.org/10.1360/crad20050101.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Khakpour, Narges, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, and MohammadReza Mousavi. "Formal modeling of evolving self-adaptive systems." Science of Computer Programming 78, no. 1 (November 2012): 3–26. http://dx.doi.org/10.1016/j.scico.2011.09.004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Drengstig, T. "A formal graphical based process modeling methodology." Computers & Chemical Engineering 21, no. 1-2 (1997): S835—S840. http://dx.doi.org/10.1016/s0098-1354(97)00153-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Drengstig, Tormod, Stein O. Wasbø, and Bjarne A. Foss. "A formal graphical based process modeling methodology." Computers & Chemical Engineering 21 (May 1997): S835—S840. http://dx.doi.org/10.1016/s0098-1354(97)87606-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Stephenson, Peter. "Using formal modeling to untangle security incidents." Computer Fraud & Security 2004, no. 7 (July 2004): 16–20. http://dx.doi.org/10.1016/s1361-3723(04)00091-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Valente de Oliveira, José, and Fernando Gomide. "Formal Methods for Fuzzy Modeling and Control." Fuzzy Sets and Systems 121, no. 1 (July 2001): 1–2. http://dx.doi.org/10.1016/s0165-0114(99)00167-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Luchins, Abraham S., and Edith H. Luchins. "Gestalt theory, formal models and mathematical modeling." Behavioral and Brain Sciences 16, no. 2 (June 1993): 355–56. http://dx.doi.org/10.1017/s0140525x0003051x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

France, R., A. Evans, K. Lano, and B. Rumpe. "The UML as a formal modeling notation." Computer Standards & Interfaces 19, no. 7 (November 1998): 325–34. http://dx.doi.org/10.1016/s0920-5489(98)00020-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Belala, Faiza, and Ramdane Maamri. "Formal modeling and analysis of complex software." Journal of King Saud University - Computer and Information Sciences 32, no. 4 (May 2020): 385–86. http://dx.doi.org/10.1016/j.jksuci.2020.04.021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Chen, Chunqing, Jun Sun, Yang Liu, Jin Song Dong, and Manchun Zheng. "Formal modeling and validation of Stateflow diagrams." International Journal on Software Tools for Technology Transfer 14, no. 6 (June 6, 2012): 653–71. http://dx.doi.org/10.1007/s10009-012-0235-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Wang, Rui, Yong Guan, Luo Liming, Xiaojuan Li, and Jie Zhang. "Component-Based Formal Modeling of PLC Systems." Journal of Applied Mathematics 2013 (2013): 1–9. http://dx.doi.org/10.1155/2013/721624.

Full text

Abstract:

Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. Good verification model should be faithful and concise. At one hand, the model must be consistent with the system at the other hand, the model must have suitable scale because of the state explosion problem of verification. This paper proposes a systemic method for the construction of verification model. PLC system architecture and PLC features are modeled as components. This is universal for all PLC applications. We give an automatic translation method for software modeling based on operational semantics. A small example is demonstrated for our approach.

APA, Harvard, Vancouver, ISO, and other styles

29

Wang, Shuaiqiang, Jun Ma, Qiang He, and Jiancheng Wan. "Formal behavior modeling and effective automatic refinement." Information Sciences 180, no. 20 (October 2010): 3894–913. http://dx.doi.org/10.1016/j.ins.2010.06.024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Kirwan, Ryan, Alice Miller, Bernd Porr, and P. Di Prodi. "Formal Modeling of Robot Behavior with Learning." Neural Computation 25, no. 11 (November 2013): 2976–3019. http://dx.doi.org/10.1162/neco_a_00493.

Full text

Abstract:

We present formal specification and verification of a robot moving in a complex network, using temporal sequence learning to avoid obstacles. Our aim is to demonstrate the benefit of using a formal approach to analyze such a system as a complementary approach to simulation. We first describe a classical closed-loop simulation of the system and compare this approach to one in which the system is analyzed using formal verification. We show that the formal verification has some advantages over classical simulation and finds deficiencies our classical simulation did not identify. Specifically we present a formal specification of the system, defined in the Promela modeling language and show how the associated model is verified using the Spin model checker. We then introduce an abstract model that is suitable for verifying the same properties for any environment with obstacles under a given set of assumptions. We outline how we can prove that our abstraction is sound: any property that holds for the abstracted model will hold in the original (unabstracted) model.

APA, Harvard, Vancouver, ISO, and other styles

31

Madni, Azad M., Michael Sievers, Ayesha Madni, Edwin Ordoukhanian, and Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design." INSIGHT 21, no. 3 (October 2018): 34–41. http://dx.doi.org/10.1002/inst.12210.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Ray, Arnab, and Rance Cleaveland. "Formal Modeling Of Middleware-based Distributed Systems." Electronic Notes in Theoretical Computer Science 108 (December 2004): 21–37. http://dx.doi.org/10.1016/j.entcs.2004.01.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Parente, Guido, Christopher D. Nugent, Xin Hong, Mark P. Donnelly, Liming Chen, and Enrico Vicario. "Formal Modeling Techniques for Ambient Assisted Living." Ageing International 36, no. 2 (November 23, 2010): 192–216. http://dx.doi.org/10.1007/s12126-010-9086-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Hong, Sa Neung, and Michael V. Mannino. "Formal semantics of the unified modeling language." Decision Support Systems 13, no. 3-4 (March 1995): 263–93. http://dx.doi.org/10.1016/0167-9236(93)e0046-g.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Madni, Azad M., Michael Sievers, Edwin Ordoukhanian, Ayesha Madni, and Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design." INCOSE International Symposium 28, no. 1 (July 2018): 1138–52. http://dx.doi.org/10.1002/j.2334-5837.2018.00539.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Corno, Fulvio, and Muhammad Sanaullah. "Modeling and formal verification of smart environments." Security and Communication Networks 7, no. 10 (May 29, 2013): 1582–98. http://dx.doi.org/10.1002/sec.794.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Tomiyama, Tetsuo, Thom J. van Beek, Andrés Alberto Alvarez Cabrera, Hitoshi Komoto, and Valentina D'Amelio. "Making function modeling practically usable." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, no. 3 (July 24, 2013): 301–9. http://dx.doi.org/10.1017/s0890060413000309.

Full text

Abstract:

AbstractFunction modeling is considered potentially useful in various fields of engineering, including engineering design. However, a close look at practices reveals that practitioners do not use formal function modeling so much, while the concept of “function” frequently appears in many practical methods without a vigorous definition. This paper tries to understand why formal function modeling is not practically utilized in industry by analyzing usage cases of function. By observing product development activities in industry, the paper identifies three problems that prevent formal function modeling from wider applications in practices, namely, practitioners' neglect of function modeling, the lack of practically useful function reasoning, and the complexity of the methods and tools of formal function modeling that make them impractical. Finally, the paper proposes strategies to tackle these problems and illustrates some research efforts in this regard.

APA, Harvard, Vancouver, ISO, and other styles

38

Liu, Xiao Jian, Zhi Xue Wang, Xu Qin Yan, Yang Li, and Jian Xin Li. "Formal Modeling of Automotive Software Requirements by Correctness." Applied Mechanics and Materials 40-41 (November 2010): 961–67. http://dx.doi.org/10.4028/www.scientific.net/amm.40-41.961.

Full text

Abstract:

Correctly modeling software requirements is one of the grand challenges of current ECU (Electronic control Unit) development. To ensure the correctness of the requirements, formal modeling techniques are usually used because they allow analyzers to simulate, verify and even conduct performance analysis in the requirement level. In this paper, we propose a requirements modeling framework, based on the philosophy of separation of concerns and the formal modeling techniques. The main contributions of this paper are two-fold: (1) We divide a complicated automotive software as several concerns, each of which is modeled by different formal techniques, thus the descriptive complexity of the requirements is decreased, and accordingly the models’ understandability is enhanced; (2) The adoption of formal techniques allows us to simulate the execution of the software and calculate the performance in the early stage of development, therefore the correctness of requirements can be improved.

APA, Harvard, Vancouver, ISO, and other styles

39

TRIPAKIS, STAVROS, CHRISTOS STERGIOU, CHRIS SHAVER, and EDWARD A. LEE. "A modular formal semantics for Ptolemy." Mathematical Structures in Computer Science 23, no. 4 (July 8, 2013): 834–81. http://dx.doi.org/10.1017/s0960129512000278.

Full text

Abstract:

Ptolemy‡ is an open-source and extensible modelling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed, to be composed hierarchically in an arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular in the sense that atomic actors and their compositions are treated in a unified way. In particular, all actors conform to an executable interface that contains four functions: fire (produce outputs given current state and inputs); postfire (update state instantaneously); deadline (how much time the actor is willing to let elapse); and time-update (update the state with the passage of time). Composite actors are obtained using composition operators that in Ptolemy are called directors. Different directors realise different models of computation. In this paper, we formally define the directors for the following models of computation: synchronous- reactive, discrete event, continuous time, process networks and modal models.

APA, Harvard, Vancouver, ISO, and other styles

40

Csaszar, Felipe A. "Certum Quod Factum: How Formal Models Contribute to the Theoretical and Empirical Robustness of Organization Theory." Journal of Management 46, no. 7 (November 21, 2019): 1289–301. http://dx.doi.org/10.1177/0149206319889129.

Full text

Abstract:

The aim of this commentary is to show how the use of formal models—both closed form and computational—can improve theory development and theory testing in organization theory. I also provide practical suggestions (aimed at PhD students and researchers considering developing a formal model) for dealing with challenges in developing and writing a formal modeling paper. By uncovering how formal models contribute to organization theory and presenting the constraints that formal modeling papers are subject to, this commentary can also help consumers of modeling papers to extract more value from this research method.

APA, Harvard, Vancouver, ISO, and other styles

41

XIONG, Jinbo, Zhiqiang YAO, and Biao JIN. "Formal modeling for structured document in cloud computing." Journal of Computer Applications 33, no. 5 (October 18, 2013): 1267–70. http://dx.doi.org/10.3724/sp.j.1087.2013.01267.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Fu, Yujian, Zhijiang Dong, and Xudong He. "Formal Modeling and Analysis of Collaborative Humanoid Robotics." International Journal of Robotics Applications and Technologies 6, no. 1 (January 2018): 34–54. http://dx.doi.org/10.4018/ijrat.2018010103.

Full text

Abstract:

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.

APA, Harvard, Vancouver, ISO, and other styles

43

Molnár, Bálint, András Benczúr, and András Béleczki. "Formal approach to modeling of modern information systems." International Journal of Information Systems and Project Management 4, no. 4 (February 2, 2022): 69–89. http://dx.doi.org/10.12821/ijispm040404.

Full text

Abstract:

Most recently, the concept of business documents has started to play double role. On one hand, a business document (word processing text or calculation sheet) can be used as specification tool, on the other hand the business document is an immanent constituent of business processes, thereby essential component of business information systems. The recent tendency is that the majority of documents and their contents within business information systems remain in semi-structured format and a lesser part of documents is transformed into schemas of structured databases. In order to keep the emerging situation in hand, we suggest the creation (1) a theoretical framework for modeling business Information Systems and (2) a design method for practical application based on the theoretical model that provides the structuring principles. The modeling approach that focuses on documents and their interrelationships with business processes assists in perceiving the activities of modern information systems.

APA, Harvard, Vancouver, ISO, and other styles

44

Zhang, Gaofeng, Yan Li, Chong Chen, Rui Zhou, Dan Chen, and Qingguo Zhou. "A Formal Framework for Integrated Environment Modeling Systems." ISPRS International Journal of Geo-Information 6, no. 2 (February 17, 2017): 47. http://dx.doi.org/10.3390/ijgi6020047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Zhao, Xiao Feng, Yan Yan Wang, and Yi Qi Zhou. "Formal Specification Technology of Modeling Based on Feature." Advanced Materials Research 532-533 (June 2012): 197–201. http://dx.doi.org/10.4028/www.scientific.net/amr.532-533.197.

Full text

Abstract:

Based on the analysis of existing product specification STL, IGES, STEP, a new product model approach based on feature was put forward. According to data specification method, this article studied the specification description technology. At last, with reference to STEP specification, a new neutral text data format of this method was designed, which contained the construct feature information.

APA, Harvard, Vancouver, ISO, and other styles

46

안준홍. "Formal vs. Substantial Modeling of the Legal System." HUFS Law Review 34, no. 4 (November 2010): 275–91. http://dx.doi.org/10.17257/hufslr.2010.34.4.275.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Witsch, Maria, and Birgit Vogel-Heuser. "Formal MES Modeling Framework –Integration of Different Views." IFAC Proceedings Volumes 44, no. 1 (January 2011): 14109–14. http://dx.doi.org/10.3182/20110828-6-it-1002.02206.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Peiwu Dong, Xiaohong Lin, Ming Liu, and Zhiyong Li. "Formal Modeling and Verification of Credit Derivative Products." Journal of Convergence Information Technology 7, no. 13 (July 31, 2012): 519–26. http://dx.doi.org/10.4156/jcit.vol7.issue13.60.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Kim, Tai-Oun. "Product Variety Modeling Based on Formal Concept Analysis." Industrial Engineering and Management Systems 9, no. 1 (March 1, 2010): 1–9. http://dx.doi.org/10.7232/iems.2010.9.1.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha. "Formal Modeling and Verification of Safety-Critical Software." IEEE Software 26, no. 3 (May 2009): 42–49. http://dx.doi.org/10.1109/ms.2009.67.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!