Articoli di riviste sul tema "Formal Modeling"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Formal Modeling".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.
Fithen, William L., Shawn V. Hernan, Paul F. O'Rourke e David A. Shinberg. "Formal modeling of vulnerability". Bell Labs Technical Journal 8, n. 4 (5 febbraio 2004): 173–86. http://dx.doi.org/10.1002/bltj.10094.
Testo completoAbbate, Andrew J., e Ellen J. Bass. "Modeling Affordance Using Formal Methods". Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61, n. 1 (settembre 2017): 723–27. http://dx.doi.org/10.1177/1541931213601666.
Testo completoZavgorodnii, V. V., A. A. Zavgorodnya, K. E. Drobotovich, O. V. Tenigin e 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.
Testo completoHawkins, Douglas M. "FIRM: Formal Inference-Based Recursive Modeling". American Statistician 45, n. 2 (maggio 1991): 155. http://dx.doi.org/10.2307/2684385.
Testo completoGeoffrion, Arthur M. "The Formal Aspects of Structured Modeling". Operations Research 37, n. 1 (febbraio 1989): 30–51. http://dx.doi.org/10.1287/opre.37.1.30.
Testo completoAbdulahhad, Karam, Catherine Berrut, Jean-Pierre Chevallet e Gabriella Pasi. "Modeling Information Retrieval by Formal Logic". ACM Computing Surveys 52, n. 1 (28 febbraio 2019): 1–37. http://dx.doi.org/10.1145/3291043.
Testo completoKimbrough, Steven Orla, e Yao-Hua Tan. "FMEC: Formal Modeling for Electronic Commerce". Decision Support Systems 33, n. 3 (luglio 2002): 221–23. http://dx.doi.org/10.1016/s0167-9236(02)00012-x.
Testo completoLygeros, 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.
Testo completoKaufmann, Tobias, e Beat Pfister. "Syntactic language modeling with formal grammars". Speech Communication 54, n. 6 (luglio 2012): 715–31. http://dx.doi.org/10.1016/j.specom.2012.01.001.
Testo completoXia, Mo, Kueiming Lo, Shuangjia Shao e Mian Sun. "Formal Modeling and Verification for MVB". Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/470139.
Testo completoWindley, 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.
Testo completoHafdi, Kaoutar, Abdelaziz Kriouile e 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 luglio 2017): 339–49. http://dx.doi.org/10.21276/ijircst.2017.5.4.8.
Testo completoODA, Tomohiro, Keijiro ARAKI e 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.
Testo completoMakadok, Richard, Andrew Boysen, Arkadiy V. Sakhartov, Phebo Derk Wibbens e Brian Wu. "Formal Modeling in the Resource Based View". Academy of Management Proceedings 2020, n. 1 (agosto 2020): 10286. http://dx.doi.org/10.5465/ambpp.2020.10286symposium.
Testo completoKhadija Javed. "Formal Modeling of Security Concerns in Android". Lahore Garrison University Research Journal of Computer Science and Information Technology 4, n. 1 (26 marzo 2020): 33–37. http://dx.doi.org/10.54692/lgurjcsit.2020.0401142.
Testo completoAtsa Etoundi, Roger, Marcel Fouda Ndjodo e Ghislain Abessolo Aloo. "A Formal Framework for Business Process Modeling". International Journal of Computer Applications 13, n. 6 (12 gennaio 2011): 27–32. http://dx.doi.org/10.5120/1784-2462.
Testo completoLieberherr, K. J., e C. Xiao. "Formal foundations for object-oriented data modeling". IEEE Transactions on Knowledge and Data Engineering 5, n. 3 (giugno 1993): 462–78. http://dx.doi.org/10.1109/69.224198.
Testo completoZhou, 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.
Testo completoKhakpour, Narges, Saeed Jalili, Carolyn Talcott, Marjan Sirjani e MohammadReza Mousavi. "Formal modeling of evolving self-adaptive systems". Science of Computer Programming 78, n. 1 (novembre 2012): 3–26. http://dx.doi.org/10.1016/j.scico.2011.09.004.
Testo completoDrengstig, 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.
Testo completoDrengstig, Tormod, Stein O. Wasbø e Bjarne A. Foss. "A formal graphical based process modeling methodology". Computers & Chemical Engineering 21 (maggio 1997): S835—S840. http://dx.doi.org/10.1016/s0098-1354(97)87606-5.
Testo completoStephenson, Peter. "Using formal modeling to untangle security incidents". Computer Fraud & Security 2004, n. 7 (luglio 2004): 16–20. http://dx.doi.org/10.1016/s1361-3723(04)00091-0.
Testo completoValente de Oliveira, José, e Fernando Gomide. "Formal Methods for Fuzzy Modeling and Control". Fuzzy Sets and Systems 121, n. 1 (luglio 2001): 1–2. http://dx.doi.org/10.1016/s0165-0114(99)00167-0.
Testo completoLuchins, Abraham S., e Edith H. Luchins. "Gestalt theory, formal models and mathematical modeling". Behavioral and Brain Sciences 16, n. 2 (giugno 1993): 355–56. http://dx.doi.org/10.1017/s0140525x0003051x.
Testo completoFrance, R., A. Evans, K. Lano e B. Rumpe. "The UML as a formal modeling notation". Computer Standards & Interfaces 19, n. 7 (novembre 1998): 325–34. http://dx.doi.org/10.1016/s0920-5489(98)00020-8.
Testo completoBelala, Faiza, e Ramdane Maamri. "Formal modeling and analysis of complex software". Journal of King Saud University - Computer and Information Sciences 32, n. 4 (maggio 2020): 385–86. http://dx.doi.org/10.1016/j.jksuci.2020.04.021.
Testo completoChen, Chunqing, Jun Sun, Yang Liu, Jin Song Dong e Manchun Zheng. "Formal modeling and validation of Stateflow diagrams". International Journal on Software Tools for Technology Transfer 14, n. 6 (6 giugno 2012): 653–71. http://dx.doi.org/10.1007/s10009-012-0235-0.
Testo completoWang, Rui, Yong Guan, Luo Liming, Xiaojuan Li e 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.
Testo completoWang, Shuaiqiang, Jun Ma, Qiang He e Jiancheng Wan. "Formal behavior modeling and effective automatic refinement". Information Sciences 180, n. 20 (ottobre 2010): 3894–913. http://dx.doi.org/10.1016/j.ins.2010.06.024.
Testo completoKirwan, Ryan, Alice Miller, Bernd Porr e P. Di Prodi. "Formal Modeling of Robot Behavior with Learning". Neural Computation 25, n. 11 (novembre 2013): 2976–3019. http://dx.doi.org/10.1162/neco_a_00493.
Testo completoMadni, Azad M., Michael Sievers, Ayesha Madni, Edwin Ordoukhanian e Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design". INSIGHT 21, n. 3 (ottobre 2018): 34–41. http://dx.doi.org/10.1002/inst.12210.
Testo completoRay, Arnab, e Rance Cleaveland. "Formal Modeling Of Middleware-based Distributed Systems". Electronic Notes in Theoretical Computer Science 108 (dicembre 2004): 21–37. http://dx.doi.org/10.1016/j.entcs.2004.01.010.
Testo completoParente, Guido, Christopher D. Nugent, Xin Hong, Mark P. Donnelly, Liming Chen e Enrico Vicario. "Formal Modeling Techniques for Ambient Assisted Living". Ageing International 36, n. 2 (23 novembre 2010): 192–216. http://dx.doi.org/10.1007/s12126-010-9086-8.
Testo completoHong, Sa Neung, e Michael V. Mannino. "Formal semantics of the unified modeling language". Decision Support Systems 13, n. 3-4 (marzo 1995): 263–93. http://dx.doi.org/10.1016/0167-9236(93)e0046-g.
Testo completoMadni, Azad M., Michael Sievers, Edwin Ordoukhanian, Ayesha Madni e Parisa Pouya. "Extending Formal Modeling for Resilient Systems Design". INCOSE International Symposium 28, n. 1 (luglio 2018): 1138–52. http://dx.doi.org/10.1002/j.2334-5837.2018.00539.x.
Testo completoCorno, Fulvio, e Muhammad Sanaullah. "Modeling and formal verification of smart environments". Security and Communication Networks 7, n. 10 (29 maggio 2013): 1582–98. http://dx.doi.org/10.1002/sec.794.
Testo completoTomiyama, Tetsuo, Thom J. van Beek, Andrés Alberto Alvarez Cabrera, Hitoshi Komoto e Valentina D'Amelio. "Making function modeling practically usable". Artificial Intelligence for Engineering Design, Analysis and Manufacturing 27, n. 3 (24 luglio 2013): 301–9. http://dx.doi.org/10.1017/s0890060413000309.
Testo completoLiu, Xiao Jian, Zhi Xue Wang, Xu Qin Yan, Yang Li e Jian Xin Li. "Formal Modeling of Automotive Software Requirements by Correctness". Applied Mechanics and Materials 40-41 (novembre 2010): 961–67. http://dx.doi.org/10.4028/www.scientific.net/amm.40-41.961.
Testo completoTRIPAKIS, STAVROS, CHRISTOS STERGIOU, CHRIS SHAVER e EDWARD A. LEE. "A modular formal semantics for Ptolemy". Mathematical Structures in Computer Science 23, n. 4 (8 luglio 2013): 834–81. http://dx.doi.org/10.1017/s0960129512000278.
Testo completoCsaszar, 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 novembre 2019): 1289–301. http://dx.doi.org/10.1177/0149206319889129.
Testo completoXIONG, Jinbo, Zhiqiang YAO e Biao JIN. "Formal modeling for structured document in cloud computing". Journal of Computer Applications 33, n. 5 (18 ottobre 2013): 1267–70. http://dx.doi.org/10.3724/sp.j.1087.2013.01267.
Testo completoFu, Yujian, Zhijiang Dong e Xudong He. "Formal Modeling and Analysis of Collaborative Humanoid Robotics". International Journal of Robotics Applications and Technologies 6, n. 1 (gennaio 2018): 34–54. http://dx.doi.org/10.4018/ijrat.2018010103.
Testo completoMolnár, Bálint, András Benczúr e András Béleczki. "Formal approach to modeling of modern information systems". International Journal of Information Systems and Project Management 4, n. 4 (2 febbraio 2022): 69–89. http://dx.doi.org/10.12821/ijispm040404.
Testo completoZhang, Gaofeng, Yan Li, Chong Chen, Rui Zhou, Dan Chen e Qingguo Zhou. "A Formal Framework for Integrated Environment Modeling Systems". ISPRS International Journal of Geo-Information 6, n. 2 (17 febbraio 2017): 47. http://dx.doi.org/10.3390/ijgi6020047.
Testo completoZhao, Xiao Feng, Yan Yan Wang e Yi Qi Zhou. "Formal Specification Technology of Modeling Based on Feature". Advanced Materials Research 532-533 (giugno 2012): 197–201. http://dx.doi.org/10.4028/www.scientific.net/amr.532-533.197.
Testo completo안준홍. "Formal vs. Substantial Modeling of the Legal System". HUFS Law Review 34, n. 4 (novembre 2010): 275–91. http://dx.doi.org/10.17257/hufslr.2010.34.4.275.
Testo completoWitsch, Maria, e Birgit Vogel-Heuser. "Formal MES Modeling Framework –Integration of Different Views". IFAC Proceedings Volumes 44, n. 1 (gennaio 2011): 14109–14. http://dx.doi.org/10.3182/20110828-6-it-1002.02206.
Testo completoPeiwu Dong, Xiaohong Lin, Ming Liu e Zhiyong Li. "Formal Modeling and Verification of Credit Derivative Products". Journal of Convergence Information Technology 7, n. 13 (31 luglio 2012): 519–26. http://dx.doi.org/10.4156/jcit.vol7.issue13.60.
Testo completoKim, Tai-Oun. "Product Variety Modeling Based on Formal Concept Analysis". Industrial Engineering and Management Systems 9, n. 1 (1 marzo 2010): 1–9. http://dx.doi.org/10.7232/iems.2010.9.1.001.
Testo completoJunbeom Yoo, Eunkyoung Jee e Sungdeok Cha. "Formal Modeling and Verification of Safety-Critical Software". IEEE Software 26, n. 3 (maggio 2009): 42–49. http://dx.doi.org/10.1109/ms.2009.67.
Testo completo