Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Formal methods (Computer science)
- Data processing 3
- Ontologies (Information retrieval) 3
- Computer software 2
- Development 2
- Application software 1
- Architecture 1
- Artificial Intelligence 1
- Artificial intelligence 1
- B method (Computer science) 1
- Computational linguistics 1
- Design and construction 1
- Embedded computer systems 1
- Formal languages 1
- Integrated circuits 1
- Intelligent agents (Computer software) 1
- Management 1
- Music 1
- Programming 1
- Railroads 1
- Systems on a chip 1
- Testing 1
- UML (Computer science) 1
- Verification 1
- artificial intelligence 1
- computational linguistics 1
-
1
-
2
Verification Techniques for System-Level Design.
Published 2007Full text (MFA users only)
Electronic eBook -
3
-
4
Teamwork in Multi-Agent Systems : a Formal Approach.
Published 2010Full text (MFA users only)
Electronic eBook -
5
Formal ontology in information systems : proceedings of the sixth international conference (FOIS 2010)
Published 2010Full text (MFA users only)
Electronic Conference Proceeding eBook -
6
-
7
Formal ontology in information systems : Proceedings of the seventh International Conference (FOIS 2012)
Published 2012Full text (MFA users only)
Electronic Conference Proceeding eBook -
8
Communicating embedded systems : software and design : formal methods
Published 2010Full text (MFA users only)
Electronic eBook -
9
Formal methods : industrial use from model to the code
Published 2012Full text (MFA users only)
Electronic eBook -
10
Formal Methods Applied to Industrial Complex Systems : Implementation of the B Method.
Published 2014Full text (MFA users only)
Electronic eBook -
11
-
12
Formal Methods for Safety and Security : Case Studies for Aerospace Applications.
Published 2017Full text (MFA users only)
Electronic eBook -
13
Formal methods in architecture and urbanism
Published 2018Full text (MFA users only)
Electronic eBook