Distributed, Embedded and Intelligent Systems

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Filter
Book chapter

Search results

  • 2024

    Weak Muller Conditions Make Delay Games Hard

    Winter, S. & Zimmermann, M., 2024, Lecture Notes Series, Institute for Mathematical Sciences. Greenberg, N., Jain, S., Yang, Y., Stephan, F., Ng, K. M., Wu, G. & Schewe, S. (eds.). World Scientific Publishing Co., p. 425-464 40 p. (Lecture Notes Series, Institute for Mathematical Sciences, Vol. 42).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    8 Downloads (Pure)
  • 2023

    Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 Sept 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (eds.). 1 ed. Springer, Vol. 14080. p. 297-322 26 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2022

    Convex Lattice Equation Systems

    Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Vol. 13660. p. 438-455 18 p. (Lecture Notes in Computer Science (LNCS)).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Exact Linear Reduction for Rational Dynamical Systems

    Jiménez-Pastor, A., Jacob, J. P. & Pogudin, G., 2022, Computational Methods in Systems Biology.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 Nov 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (eds.). Wiley-IEEE press, p. 289-318 30 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 283-305 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13560 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2021

    Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., Oct 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (eds.). Wiley-IEEE press, p. 289-320 (IEEE Press Series on Networks and Service Management).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Springer, p. 312-331 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13066 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (eds.). Springer, Vol. 13030. p. 57-77 20 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 13030).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • 2020

    Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., Dec 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (eds.). Cambridge University Press, p. 333-360

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
  • The challenge of building communities about PBL supervision: From networks of practice to communities of practice

    Hüttel, H. & Gnaur, D., 30 Oct 2020, Collaborative Convergence and Virtual Teamwork for Organizational Transformation. IGI global, p. 177-194 18 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2019

    Analyzing spreadsheets for parallel execution via model checking

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, p. 27-35 9 p. (Lecture Notes in Computer Science, Vol. 11200).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)
  • Continuous-Time Models for System Design and Analysis

    Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, p. 452-477 (Lecture Notes in Computer Science, Vol. 10000).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    10 Citations (Scopus)
  • 2018

    MCC’2017: The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    9 Citations (Scopus)
  • Model Checking Real-Time Systems

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, p. 1001-1046 46 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    25 Citations (Scopus)
  • 2017

    Application system design - energy optimisation

    Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R., & 2 othersStluka, P. & Zabasta, A., 6 Feb 2017, IoT Automation: Arrowhead Framework. Delsing, J. (ed.). CRC Press, p. 211-247 36 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    1 Citation (Scopus)
  • From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning

    Larsen, K. G., Fahrenberg, U. & Legay, A., 1 Jan 2017, Dependable Software Systems Engineering. IOS Press, p. 60-103 44 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2016

    An Automata-Based Approach to Trace Partitioned Abstract Interpretation

    Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, p. 88-110 (Lecture Notes in Computer Science, Vol. 9560).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Formal Modelling and Analysis of Socio-Technical Systems

    Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (eds.). Springer, p. 54-73 (Lecture Notes in Computer Science, Vol. 9560).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    8 Citations (Scopus)
  • Model Checking Feature Interactions

    Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Modeling and Analysis of Component Faults and Reliability

    Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., May 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 45-60 (Computational Science Series).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • TAPAAL and Reachability Analysis of P/T Nets

    Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, p. 307-318 12 p. (Lecture Notes in Computer Science, Vol. 9930).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    24 Citations (Scopus)
  • 2015

    An Energy Flexibility Framework on the Internet of Things

    Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, p. 17-37

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    16 Citations (Scopus)
  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    12 Citations (Scopus)
  • Resource-Parameterized Timing Analysis of Real-Time Systems

    Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • Safe and Optimal Adaptive Cruise Control

    Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    34 Citations (Scopus)
  • 2013

    Model-based vercation, optimization, synthesis and performance evaluation of real-time systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Thrane, C., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 235-273 39 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 1-37 37 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    27 Citations (Scopus)
  • Tools for Model-Checking Timed Systems

    David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 165-225 61 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    4 Citations (Scopus)
  • 2012

    Combining Epistemic Logic and Hennessy-Milner Logic

    Knight, S., Mardare, R. I. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (eds.). Springer Science+Business Media, Vol. 7230. p. 219-243 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Formal Analysis of Privacy for Anonymous Location Based Services

    Dahl, M., Delaune, S. & Steel, G., 2012, Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Mödersheim, S. & Palamidessi, C. (eds.). Springer Publishing Company, p. 98-112 (Lecture Notes in Computer Science, Vol. 6993).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    6 Citations (Scopus)
  • New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    499 Downloads (Pure)
  • Structured Linear Parameter Varying Control of Wind Turbines

    Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (eds.). Springer Science+Business Media, p. 303-337 35 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)
  • 2011

    Adopting quality assurance technology in customer-vendor relationships: A case study of how interorganizational relationships influence the process

    Heeager, L. T. & Tjørnehøj, G., 2011, Information Systems Development: Asian Experiences. Song, W. W., Wan, C., Wojtkowski, W., Linger, H., Xu, S., Zhong, Y. & Wojtkowski, G. (eds.). Springer Science+Business Media, p. 535-546

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • APAC: A tool for Reasoning about Abstract Probabilistic Automata

    Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., 1 Jan 2011, Proceedings of the 2011 8th International Conference on Quantitative Evaluation of Systems, QEST 2011. IEEE Computer Society Press, p. 151-152 2 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    8 Citations (Scopus)
  • The Algorithmics of Bisimilarity

    Aceto, L., Ingolfsdottir, A. & Srba, J., 2011, Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Vol. 52. p. 100-172 73 p. (Cambridge Tracts in Theoretical Computer Science; No. 52).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2009

    Model-based Framework for Schedulability Analysis Using Uppaal 4.1

    David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Models for Embedded Real-Time Systems

    Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (eds.). Wiley, p. 1-38 38 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

  • Tools for Model-Checking Timed Systems

    David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., Oct 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (eds.). Wiley, p. 165-225

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2008

    CTL as an intermediate language

    Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, p. 4- (Lecture Notes in Computer Science; No. 4905).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

  • Modelling with Relational Calculus of Object and Component Systems - rCOS

    Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Berlin/Heidelberg: Springer, p. 116-145 (Lecture Notes in Computer Science; No. 5153).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    11 Citations (Scopus)
  • Testing Real-Time Systems Using UPPAAL

    Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

    180 Citations (Scopus)
  • 2007

    Design Verifikation Patterns

    Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (eds.). Berlin /Heidelberg: Springer, p. 399-413 (Lecture Notes in Computer Science, Vol. 4700).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

  • Modal I/O Automata for Interface and Product Line Theories

    Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    202 Citations (Scopus)
    469 Downloads (Pure)
  • 2006

    Formalization in Component Based Development

    Holmegaard, J. P., Knudsen, J., Makowski, P. & Ravn, A. P., 2006, Mathematical Frameworks for Component Software. Liu, Z. & He, J. (eds.). World Scientific, p. 255-281 27 p. (Component-Based Software Development; No. 2).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch