Acceder

Bibliografías temáticas / Formal Modeling / Artículos de revistas

Artículos de revistas sobre el tema "Formal Modeling"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Formal Modeling.

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 30 de enero de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Formal Modeling".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Wang, Rui, Yong Guan, Luo Liming, Xiaojuan Li y 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.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!