Resultados da pesquisa
Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
- Formal methods (Computer science)
- Computer software 4
- Development 4
- Data processing 2
- Application software 1
- Artificial intelligence 1
- Automatic control 1
- B method (Computer science) 1
- Computational linguistics 1
- Design and construction 1
- Distributed processing 1
- Electronic data processing 1
- Embedded Internet devices 1
- Embedded computer systems 1
- Formal languages 1
- Integrated circuits 1
- Intelligent agents (Computer software) 1
- Internet of things 1
- Management 1
- Music 1
- Programming 1
- Railroads 1
- System design 1
- Systems on a chip 1
- Testing 1
- UML (Computer science) 1
- Verification 1
-
1
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, Augu...
Publicado em 2001An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico Conference Proceeding livro electrónico -
2
Formal software development from VDM to Java /
Publicado em 2004An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
3
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Publicado em 2006An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
4
Verification techniques for system-level design
Publicado em 2008An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
5
Software specification methods
Publicado em 2006An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
6
Teamwork in multi-agent systems a formal approach /
Publicado em 2010An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
7
Computers in language research
Publicado em 1983An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
8
Communicating embedded systems software and design : formal methods /
Publicado em 2010An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
9
Formal method industrial use from model to the code /
Publicado em 2012An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
10
Formal methods applied to complex systems : implementation of the B method /
Publicado em 2014An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico -
11
Principles of cyber-physical systems /
Publicado em 2015An electronic book accessible through the World Wide Web; click to view
Recurso Electrónico livro electrónico