Literatura académica sobre el tema "Parameterised systems"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Parameterised systems".
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.
Artículos de revistas sobre el tema "Parameterised systems"
Groote, Jan Friso, and Tim A. C. Willemse. "Parameterised boolean equation systems." Theoretical Computer Science 343, no. 3 (2005): 332–69. http://dx.doi.org/10.1016/j.tcs.2005.06.016.
Texto completoOrzan, Simona, and Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems." Theoretical Computer Science 411, no. 11-13 (2010): 1338–71. http://dx.doi.org/10.1016/j.tcs.2009.11.001.
Texto completoKouvaros, Panagiotis, and Alessio Lomuscio. "Parameterised verification for multi-agent systems." Artificial Intelligence 234 (May 2016): 152–89. http://dx.doi.org/10.1016/j.artint.2016.01.008.
Texto completoPloeger, B., J. W. Wesselink, and T. A. C. Willemse. "Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems." Information and Computation 209, no. 4 (2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.
Texto completoNagae, Yutaro, and Masahiko Sakai. "Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems." Electronic Proceedings in Theoretical Computer Science 265 (February 16, 2018): 67–81. http://dx.doi.org/10.4204/eptcs.265.6.
Texto completoYoo, S. J. "Adaptive control of non-linearly parameterised pure-feedback systems." IET Control Theory & Applications 6, no. 3 (2012): 467. http://dx.doi.org/10.1049/iet-cta.2011.0150.
Texto completoCalder, M., and A. Miller. "An automatic abstraction technique for verifying featured, parameterised systems." Theoretical Computer Science 404, no. 3 (2008): 235–55. http://dx.doi.org/10.1016/j.tcs.2008.03.034.
Texto completoTang, D. F., and S. Dobbie. "iGen 0.1: a program for the automated generation of models and parameterisations." Geoscientific Model Development 4, no. 3 (2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.
Texto completoTang, D. F., and S. Dobbie. "iGen: a program for the automated generation of models and parameterisations." Geoscientific Model Development Discussions 4, no. 2 (2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.
Texto completoKant, Gijs, and Jaco van de Pol. "Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games." Electronic Proceedings in Theoretical Computer Science 99 (October 23, 2012): 50–65. http://dx.doi.org/10.4204/eptcs.99.7.
Texto completoTesis sobre el tema "Parameterised systems"
Kouvaros, Panagiotis. "Parameterised verification for multi-agent systems." Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/33793.
Texto completoHouhou, Sara. "Parameterised Verification from Formal Specifications of Information Systems." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS421.
Texto completoGraham, Douglas. "Parameterised verification of randomised distributed systems using state-based models." Thesis, Connect to e-thesis, 2008. http://theses.gla.ac.uk/95/.
Texto completoLehaut, Mathieu. "Synthesis for parameterized systems." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS341.
Texto completoPeach, Nigel G. "Bearings only tracking using a set of range parameterised extended Kalman filters." Thesis, University of Bath, 1997. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362303.
Texto completoMahata, Pritha. "Model Checking Parameterized Timed Systems." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Univ.-bibl. [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-4835.
Texto completoMalak, Richard J. Jr. "Using parameterized efficient sets to model alternatives for systems design decisions." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/26697.
Texto completoBen, Henda Noomene. "Infinite-state Stochastic and Parameterized Systems." Doctoral thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8915.
Texto completoKojić, Aleksandar M. 1974. "Parameter estimation in nonlinearly parameterized systems." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/47637.
Texto completoRezine, Ahmed. "Parameterized Systems : Generalizing and Simplifying Automatic Verification." Doctoral thesis, Uppsala universitet, Avdelningen för datorteknik, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-8587.
Texto completoLibros sobre el tema "Parameterised systems"
S, Kain John, and United States. National Aeronautics and Space Administration., eds. Annual performance report for the period 15 April 1996 - 14 April 1997 for NASA grant no. NAG 5-2927 entitled evaluating and understanding parameterized convective processes and their role in the development of mesoscale precipitation systems. Pennsylvania State University, Office of Sponsored Programs, 1997.
Buscar texto completoNational Aeronautics and Space Administration (NASA) Staff. Evaluating and Understanding Parameterized Convective Processes and Their Role in the Development of Mesoscale Precipitation Systems. Independently Published, 2018.
Buscar texto completoCapítulos de libros sobre el tema "Parameterised systems"
Groote, Jan Friso, and Tim Willemse. "Parameterised Boolean Equation Systems." In CONCUR 2004 - Concurrency Theory. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-28644-8_20.
Texto completoAtif, Muhammad, and Jan Friso Groote. "Linear Processes and Parameterised BESs." In Studies in Systems, Decision and Control. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-23008-0_8.
Texto completoOrzan, Simona, and Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems." In CONCUR 2008 - Concurrency Theory. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85361-9_18.
Texto completoAştefănoaei, Lăcrămioara, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, and Jacques Combaz. "Compositional Verification of Parameterised Timed Systems." In Lecture Notes in Computer Science. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9_6.
Texto completovan Dam, A., B. Ploeger, and T. A. C. Willemse. "Instantiation for Parameterised Boolean Equation Systems." In Theoretical Aspects of Computing - ICTAC 2008. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85762-4_30.
Texto completoSchneider, Eric, Elizabeth I. Sklar, and Simon Parsons. "Evaluating Multi-Robot Teamwork in Parameterised Environments." In Towards Autonomous Robotic Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40379-3_32.
Texto completoCranen, Sjoerd, Bas Luttik, and Tim A. C. Willemse. "Proof Graphs for Parameterised Boolean Equation Systems." In CONCUR 2013 – Concurrency Theory. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40184-8_33.
Texto completoTimm, Nils, and Heike Wehrheim. "On Symmetries and Spotlights – Verifying Parameterised Systems." In Formal Methods and Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16901-4_35.
Texto completoKeiren, Jeroen J. A., Wieger Wesselink, and Tim A. C. Willemse. "Liveness Analysis for Parameterised Boolean Equation Systems." In Automated Technology for Verification and Analysis. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11936-6_16.
Texto completoHerden, Olaf. "Parameterised Patterns for Conceptual Modelling of Data Warehouses." In Databases and Information Systems. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-015-9636-7_8.
Texto completoActas de conferencias sobre el tema "Parameterised systems"
Borve, Steinar. "Parameterised MRTD." In Electro-optical and Infrared Systems: Technology and Applications XX, edited by Duncan L. Hickman, Helge Bürsing, Ove Steinvall, and Gary W. Kamerman. SPIE, 2023. http://dx.doi.org/10.1117/12.2676696.
Texto completoSiirtola, Antti. "Refinement Checking Parameterised Quorum Systems." In 2017 17th International Conference on Application of Concurrency to System Design (ACSD). IEEE, 2017. http://dx.doi.org/10.1109/acsd.2017.15.
Texto completoBelardinelli, Francesco, Panagiotis Kouvaros, and Alessio Lomuscio. "Parameterised Verification of Data-aware Multi-Agent Systems." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/15.
Texto completoKouvaros, Panagiotis, and Alessio Lomuscio. "Verifying Fault-tolerance in Parameterised Multi-Agent Systems." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/41.
Texto completoChen, Yu-Fang, Chih-Duo Hong, Anthony W. Lin, and Philipp Rummer. "Learning to prove safety over parameterised concurrent systems." In 2017 Formal Methods in Computer-Aided Design (FMCAD). IEEE, 2017. http://dx.doi.org/10.23919/fmcad.2017.8102244.
Texto completoGallardo, María del Mar, Christophe Joubert, and Pedro Merino. "Implementing Influence Analysis Using Parameterised Boolean Equation Systems." In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006). IEEE, 2006. http://dx.doi.org/10.1109/isola.2006.26.
Texto completoAzzuhri, Saaidal R., Marius Portmann, and Wee Lum Tan. "Evaluation of parameterised route repair in AODV." In 2010 4th International Conference on Signal Processing and Communication Systems (ICSPCS 2010). IEEE, 2010. http://dx.doi.org/10.1109/icspcs.2010.5709663.
Texto completoBuckley, Scott J. H., and Anthony M. Sloane. "A formalisation of parameterised reference attribute grammars." In SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ACM, 2017. http://dx.doi.org/10.1145/3136014.3136024.
Texto completoEstivill-Castro, Vladimir, and René Hexel. "Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems." In 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS - Science and Technology Publications, 2018. http://dx.doi.org/10.5220/0006573903640371.
Texto completoOchsenschlager, Peter, and Roland Rieke. "Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations." In 2011 19th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE, 2011. http://dx.doi.org/10.1109/pdp.2011.57.
Texto completoInformes sobre el tema "Parameterised systems"
Popova, Evgenija. On a Class of Parameterized Solutions to Interval Parametric Linear Systems. "Prof. Marin Drinov" Publishing House of Bulgarian Academy of Sciences, 2020. http://dx.doi.org/10.7546/crabs.2020.05.02.
Texto completoGrogan, Brandon Robert. The Development of a Parameterized Scatter Removal Algorithm for Nuclear Materials Identification System Imaging. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/973840.
Texto completoGrogan, Brandon R. THE DEVELOPMENT OF A PARAMETERIZED SCATTER REMOVAL ALGORITHM FOR NUCLEAR MATERIALS IDENTIFICATION SYSTEM IMAGING. Office of Scientific and Technical Information (OSTI), 2010. http://dx.doi.org/10.2172/981787.
Texto completoChen, Yongzhou, Ammar Tahir, and Radhika Mittal. Controlling Congestion via In-Network Content Adaptation. Illinois Center for Transportation, 2022. http://dx.doi.org/10.36501/0197-9191/22-018.
Texto completoAgénor, Pierre-Richard, and Luiz A. Pereira da Silva. Cyclically Adjusted Provisions and Financial Stability. Inter-American Development Bank, 2016. http://dx.doi.org/10.18235/0011733.
Texto completoHamill, Daniel D., Jeremy J. Giovando, Chandler S. Engel, Travis A. Dahl, and Michael D. Bartles. Application of a Radiation-Derived Temperature Index Model to the Willow Creek Watershed in Idaho, USA. U.S. Army Engineer Research and Development Center, 2021. http://dx.doi.org/10.21079/11681/41360.
Texto completoSelvaraju, Ragul, Hari Shankar, and Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, 2020. http://dx.doi.org/10.4271/2020-28-0504.
Texto completoSelvaraju, Ragul, Hari Shankar, and Hariharan Sankarasubramanian. Metamodel Generation for Frontal Crash Scenario of a Passenger Car. SAE International, 2020. http://dx.doi.org/10.4271/2020-28-0504.
Texto completo