{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:39:00Z","timestamp":1725907140926},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319652078"},{"type":"electronic","value":"9783319652085"}],"license":[{"start":{"date-parts":[[2017,8,6]],"date-time":"2017-08-06T00:00:00Z","timestamp":1501977600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-65208-5_12","type":"book-chapter","created":{"date-parts":[[2017,8,5]],"date-time":"2017-08-05T10:13:20Z","timestamp":1501928000000},"page":"165-178","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Verification of Real-Time Systems with Alvis"],"prefix":"10.1007","author":[{"given":"Marcin","family":"Szpyrka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u0141ukasz","family":"Podolski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Wypych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,6]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3fsd\u00f3ttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge, UK (2007)"},{"key":"12_CR2","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, London, UK (2008)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. Lecture Notes on Concurrency and Petri Nets 3098 (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Biernacki, J.: Alvis models of safety critical systems state-base verification with nuXmv. In: Proceedings of the Federated Conference on Computer Science and Information Systems, pp. 1701\u20131708 (2016)","DOI":"10.15439\/2016F264"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Bozzano, M., Villafiorita, A.: Design and Safety Assessment of Critical Systems. CRC Press (2011)","DOI":"10.1201\/b10094"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Cavada, R., Cimatti, A., Dorigatti, M., Griggio, A., Mariotti, A., Micheli, A., Mover, S., Roveri, M., Tonetta, S.: The nuXmv symbolic model checker. In: Computer Aided Verification, Lecture Notes in Computer Science, vol. 8559, pp. 334\u2013342. Springer (2014)","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP 2006: a toolbox for the construction and analysis of distributed processes. In: Computer Aided Verification (CAV\u20192007). LNCS, vol. 4590, pp. 158\u2013163. Springer, Berlin, Germany (2007)","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"12_CR8","unstructured":"Idris, I.: Python Data Analysis. Packt Publishing Ltd. (2014)"},{"key":"12_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets. Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.: Coloured Petri Nets. Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"12_CR10","unstructured":"Lee, A., Ihaka, R., Triggs, C.: Advanced Statistical Modelling. Course Notes for University of Auckland Paper STATS 330 (2012)"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Matyasik, P., Szpyrka, M., Wypych, M., Biernacki, J.: Communication between agents in Alvis language. In: Proceedings of Mixdes 2016, the 23nd International Conference Mixed Design of Integrated Circuits and Systems, pp. 448\u2013453. \u0141\u00f3d\u017a, Poland (2016)","DOI":"10.1109\/MIXDES.2016.7529784"},{"key":"12_CR12","volume-title":"Real World Haskell","author":"B O\u2019Sullivan","year":"2008","unstructured":"O\u2019Sullivan, B., Goerzen, J., Stewart, D.: Real World Haskell. O\u2019Reilly Media, Sebastopol, CA, USA (2008)"},{"issue":"4","key":"12_CR13","first-page":"405","volume":"33","author":"S Samolej","year":"2009","unstructured":"Samolej, S., Rak, T.: Simulation and performance analysis of distributed internet systems using TCPNs. Informatica (Slovenia) 33(4), 405\u2013415 (2009)","journal-title":"Informatica (Slovenia)"},{"issue":"3","key":"12_CR14","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1515\/acsc-2016-0019","volume":"26","author":"M Szpyrka","year":"2016","unstructured":"Szpyrka, M., Biernacki, J., Biernacka, A.: Tools and methods for RTCP-nets modelling and verification. Arch. Control Sci. 26(3), 339\u2013365 (2016). doi: 10.1515\/acsc-2016-0019","journal-title":"Arch. Control Sci."},{"issue":"1","key":"12_CR15","first-page":"55","volume":"35","author":"M Szpyrka","year":"2016","unstructured":"Szpyrka, M., Matyasik, P., Biernacki, J., Biernacka, A., Wypych, M., Kotulski, L.: Hierarchical communication diagrams. Comput. Inform. 35(1), 55\u201383 (2016)","journal-title":"Comput. Inform."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Szpyrka, M., Matyasik, P., Mr\u00f3wka, R.: Alvis\u2014modelling language for concurrent systems. In:\u00a0Bouvry, P.,\u00a0Gonzalez-Velez, H.,\u00a0Ko\u0142odziej, J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. Studies in Computational Intelligence, vol. 362, chap.\u00a015, pp. 315\u2013341. Springer (2011)","DOI":"10.1007\/978-3-642-21271-0_15"},{"key":"12_CR17","doi-asserted-by":"publisher","unstructured":"Szpyrka, M., Matyasik, P., Podolski, L., Wypych, M.: Simulation of multi-agent systems with Alvis toolkit. In: Proceedings of ICAISC 2017, the 16th International Conference on Artificial Intelligence and Soft Computing, LNAI, vol. 10246. Springer (2017). doi: 10.1007\/978-3-319-59060-8_54","DOI":"10.1007\/978-3-319-59060-8_54"},{"key":"12_CR18","unstructured":"Szpyrka, M., Matyasik, P., Wypych, M., Biernacki, J., Podolski, L.: Alvis Modelling Language (2017). http:\/\/alvis.kis.agh.edu.pl"}],"container-title":["Studies in Computational Intelligence","Towards a Synergistic Combination of Research and Practice in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65208-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T22:22:27Z","timestamp":1569968547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-65208-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,6]]},"ISBN":["9783319652078","9783319652085"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65208-5_12","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2017,8,6]]}}}