default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs133.bht:"
@inproceedings{DBLP:journals/corr/ArnoldBL13, author = {Alexandre Arnold and Beno{\^{\i}}t Boyer and Axel Legay}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Contracts and Behavioral Patterns for SoS: The {EU} {IP} {DANSE} approach}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {47--66}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.6}, doi = {10.4204/EPTCS.133.6}, timestamp = {Tue, 07 May 2024 20:17:21 +0200}, biburl = {https://dblp.org/rec/journals/corr/ArnoldBL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Botterweck13, author = {Goetz Botterweck}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Variability and Evolution in Systems of Systems}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {8--23}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.2}, doi = {10.4204/EPTCS.133.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Botterweck13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BujorianuB13, author = {Manuela{-}Luminita Bujorianu and Marius C. Bujorianu}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {A coordination model for ultra-large scale systems of systems}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {84--98}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.8}, doi = {10.4204/EPTCS.133.8}, timestamp = {Tue, 21 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BujorianuB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Haverkort13, author = {Boudewijn R. Haverkort}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Challenges for modelling and analysis in embedded systems and systems-of-systems design}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {40--46}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.5}, doi = {10.4204/EPTCS.133.5}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Haverkort13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Honour13, author = {Eric C. Honour}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Verification and Validation Issues in Systems of Systems}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {2--7}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.1}, doi = {10.4204/EPTCS.133.1}, timestamp = {Wed, 18 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/Honour13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Kopetz13, author = {Hermann Kopetz}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {System-of-Systems Complexity}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {35--39}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.4}, doi = {10.4204/EPTCS.133.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Kopetz13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/MignognaMBLA13, author = {Alessandro Mignogna and Leonardo Mangeruca and Beno{\^{\i}}t Boyer and Axel Legay and Alexandre Arnold}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {SoS contract verification using statistical model checking}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {67--83}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.7}, doi = {10.4204/EPTCS.133.7}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MignognaMBLA13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Pazzi13, author = {Luca Pazzi}, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism}, booktitle = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, pages = {24--34}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133.3}, doi = {10.4204/EPTCS.133.3}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Pazzi13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/LarsenLN13, editor = {Kim G. Larsen and Axel Legay and Ulrik Nyman}, title = {Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013}, series = {{EPTCS}}, volume = {133}, year = {2013}, url = {https://doi.org/10.4204/EPTCS.133}, doi = {10.4204/EPTCS.133}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LarsenLN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.