System analysis
Overview
| Works: | 80 works in 59 publications in 59 languages | |
|---|---|---|
Titles
Tools and algorithms for the construction and analysis of systems = 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
by:
(Language materials, printed)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computational structures = 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
(Language materials, printed)
NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings /
by:
(Language materials, printed)
Service-oriented perspectives in design science research = 6th international conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011 : proceedings /
by:
(Language materials, printed)
System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers /
by:
(Language materials, printed)
Foundations of Software Science and Computational Structures = 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
by:
(Language materials, printed)
System modeling and optimization = 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007 : revised selected papers /
by:
(Language materials, printed)
Research in systems analysis and design = models and methods : 4th SIGSAND/PLAIS EuroSymposium 2011, Gdansk, Poland, September 29, 2011, revised selected papers /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2015 = 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015 : revised selected papers /
by:
(Language materials, printed)
Information systems = development, applications, education : 8th SIGSAND/PLAIS EuroSymposium 2015, Gdansk, Poland, September 25, 2015 : proceedings /
by:
(Language materials, printed)
Modelling and optimisation of flows on networks = Cetraro, Italy 2009 /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings /
by:
(Language materials, printed)
System analysis and modeling = theory and practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012 : revised selected papers /
by:
(Language materials, printed)
Design science at the intersection of physical and virtual design = 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013 : proceedings /
by:
(Language materials, printed)
Advances in dynamics, instrumentation and control. = Queretaro, Mexico, 13-16 August 2006 : proceedings of the 2006 International Conference (CDIC '06) /. Vol. II :
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013 : proceedings /
by:
(Language materials, printed)
Information systems = development, learning, security : 6th SIGSAND/PLAIS EuroSymposium 2013, Gdansk, Poland, September 26, 2013 : proceedings /
by:
(Language materials, printed)
Advances in statistical control, algebraic systems theory, and dynamic systems characteristics = a tribute to Michael K. Sain /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(Language materials, printed)
Design science research in information systems = advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas,NV, USA, May 14-15, 2012 : proceedings /
by:
(Language materials, printed)
Complex sciences = second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012 : revised selected papers /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2013 = 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers.. Part I /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2013 = 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013 : revised selected papers.. Part II /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part I /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2011 = 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011 : revised selected papers.. Part II /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computational structures = 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computation structures = 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
(Language materials, printed)
Enterprise, business-process and information systems modeling = 10th International Workshop, BPMDS 2009 and 14th International Conference, EMMSAD 2009 held at CAiSE 2009 Amsterdam, The Netherlands, June 8-9, 2009 : proceedings /
by:
(Language materials, printed)
Foundations of Software Science and Computational Structures = 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Complex systems = École d'été de Physique des Houches, session LXXXV, 3-28 July 2006 ; École thématique du CNRS /
by:
(Language materials, printed)
Systems thinking approach for social problems = proceedings of 37th National Systems Conference, December 2013 /
by:
(Language materials, printed)
New trends on system science and engineering = proceedings of ICSSE 2015 /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 22nd International Conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(Language materials, printed)
System analysis and modeling = technology-specific aspects of models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016 : proceedings /
by:
(Language materials, printed)
Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part I /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II /
by:
(Language materials, printed)
Designing for a digital and globalized world = 13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(Language materials, printed)
System analysis and modeling = languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings /
by:
(Language materials, printed)
Information systems = research, development, applications, education : 10th SIGSAND/PLAIS EuroSymposium 2017, Gdansk, Poland, September 22, 2017 : proceedings /
by:
(Language materials, printed)
Computer aided systems theory -- EUROCAST 2022 = 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022 : revised selected papers /
by:
(Language materials, printed)
Formal modeling and analysis of timed systems = 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023 : proceedings /
by:
(Language materials, printed)
State space and unobserved component models : = theory and applications : proceedings of a conference in honour of James Durbin /
by:
(Language materials, printed)
Proceedings of the International Symposium on Topological Aspects of Critical Systems and Networks, Sapporo, Japan, 13-14 February 2006
by:
(Language materials, printed)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 2 /
by:
(Language materials, printed)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 3 /
by:
(Language materials, printed)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 4 /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part I /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part II /
by:
(Language materials, printed)
Computer aided systems theory - EUROCAST 2024 = 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024 : revised selected papers.. Part III /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part III /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Local solutions for global challenges = 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025 : proceedings.. Part I /
by:
(Language materials, printed)
Local solutions for global challenges = 20th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2025, Montego Bay, Jamaica, June 2-4, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Complex networks & their applications XIII = proceedings of the thirteenth International Conference on Complex Networks and Their Applications : COMPLEX NETWORKS 2024.. Volume 1 /
by:
(Language materials, printed)
Information technologies and mathematical modelling = queueing theory and related fields : 23rd International Conference, ITMM 2024, Karshi, Uzbekistan, October 20-26, 2024 : revised selected papers /
by:
(Language materials, printed)
Tools and algorithms for the construction and analysis of systems = 31st International Conference, TACAS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings.. Part II /
by:
(Language materials, printed)
Show more
Fewer
Subjects