Zaloguj się

Gotowe bibliografie tematyczne / Formal Modeling / Artykuły w czasopismach

Artykuły w czasopismach na temat „Formal Modeling”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Formal Modeling.

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 30 stycznia 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Formal Modeling”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

3

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

16

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

17

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

25

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

29

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

31

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

32

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

33

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

38

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

39

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

40

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

41

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

43

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

44

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

46

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

47

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

49

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!