Cargando…

Formal methods for embedded distributed systems: how to master the complexity

Detalles Bibliográficos
Autores principales:	Kordon, Fabrice, Lemoine, Michel
Lenguaje:	eng
Publicado:	Springer 1991
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2762480

Ejemplares similares

Formal methods in computer system design
por: Hoare, C A R
Publicado: (1989)

Application and theory of petri nets and concurrency: 37th international conference, Petri Nets 2016, Toruń, Poland, June 19-24, 2016 proceedings
por: Kordon, Fabrice, et al.
Publicado: (2016)

Mastering Complexity
por: Denker, Stephen
Publicado: (2017)

Formal Methods in Manufacturing
por: Campos, Javier, et al.
Publicado: (2018)

34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Publicado: (2014)

The SGML/BookMaster System at CERN: User's Guide
por: Goossens, Michel
Publicado: (1990)

Formal definition in programming, Automata and formal languages
por: Ollongren, Alexander
Publicado: (1976)

Design methods and applications for distributed embedded systems: IFIP 18th world computer congress, TC10 working conference on distributed and parallel, embedded systems (DIPES 2004), 22-27 August, 2004 Toulouse, France
por: Kleinjohann, Bernd, et al.
Publicado: (2004)

Mastering Communication at Work: How to Lead, Manage, and Influence
por: Becker, Ethan, et al.
Publicado: (2021)

An introduction to practical formal methods using temporal logic
por: Fisher, Michael
Publicado: (2011)

Formal methods and software engineering: 17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015, proceedings
por: Butler, Michael, et al.
Publicado: (2015)

Formal methods and software engineering: 21st international conference on formal engineering methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, proceedings
por: Ait-Ameur, Yamine, et al.
Publicado: (2019)

Formal methods and software engineering: 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, proceedings
por: Merz, Stephan, et al.
Publicado: (2014)

Formal methods and software engineering: 19th international conference on formal engineering methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, proceedings
por: Duan, Zhenhua, et al.
Publicado: (2017)

Distributed embedded systems: IFIP 20th world computer congress, TC10 working conference on distributed and parallel embedded systems (DIPES 2008), September 7-10, 2008, Milano, Italy
por: Kleinjohann, Bernd, et al.
Publicado: (2008)

Mastering distributed tracing: analyzing performance in microservices and complex systems
por: Shkuro, Yuri
Publicado: (2019)

From model-driven design to resource management for distributed embedded systems: IFIP TC 10 working conference on distributed and parallel embedded systems (DIPES 2006) October 11-13, 2006, Braga, Portugal
por: Kleinjohann, Bernd, et al.
Publicado: (2006)

Kernel mean embedding of distributions: a review and beyond
por: Muandet, Krikamol, et al.
Publicado: (2017)

Embedded and Networking Systems
por: Khan, Gul, et al.
Publicado: (2017)

Embedded Systems Design
por: Heath, Steve
Publicado: (2002)

Foundations of embedded systems
por: Barkalov, Alexander, et al.
Publicado: (2019)

Hedge Hunters: After the Credit Crisis, How Hedge Fund Masters Survived
por: Burton, Katherine
Publicado: (2010)

Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018)

Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the third world congress on formal methods, FM 2019, Porto, Portugal, october 7, 2019, proceedings
por: Dongol, Brijesh, et al.
Publicado: (2019)

Mastering Corda
por: Sheikh, Jamiel
Publicado: (2020)

Mastering Blockchain
por: Lantz, Lorne
Publicado: (2020)

Mastering Ethereum
por: Antonopoulos, Andreas
Publicado: (2018)

Mastering Metasploit
por: Jaswal, Nipun
Publicado: (2020)

Mastering Kubernetes
por: Sayfan, Gigi
Publicado: (2020)

Mastering Blockchain
por: Bashir, Imran
Publicado: (2020)

Mastering Strategy
por: Mangelsdorf, Martha
Publicado: (2016)

Mastering Docker
por: McKendrick, Russ
Publicado: (2020)

Mastering Shiny
por: Wickham, Hadley
Publicado: (2021)

Real-Time Embedded Systems
por: Qiu, Meikang, et al.
Publicado: (2011)

Embedded Systems and Software Validation
por: Roychoudhury, Abhik
Publicado: (2009)

Leading outside the lines: How to Mobilize the (in)Formal Organization, Energize Your Team, and Get Better Results
por: Katzenbach, Jon
Publicado: (2010)

Mastering Money: How to Beat Debt, Build Wealth, and Be Prepared for any Financial Crisis
por: Champ, Norm
Publicado: (2019)

Embedded systems, cyber-physical systems, and applications
por: Arabnia, Hamid R, et al.
Publicado: (2017)

Gold trading boot camp: how to master the basics and become a successful commodities investor
por: Weldon, Gregory
Publicado: (2007)

Applied Control Theory for Embedded Systems
por: Wescott, Tim
Publicado: (2011)

Cannot write session to /tmp/vufind_sessions/sess_43tu18db3td2r7gpe0h2k23hrl