Suggested Topics within your search.
Suggested Topics within your search.
- Formal methods (Computer science) 569
- Software engineering 311
- Computer software 249
- Computer science 199
- Verification 141
- Electronic data processing 111
- Development 104
- Distributed processing 78
- Artificial intelligence 74
- Mathematics 69
- Computer security 61
- Data processing 53
- Object-oriented programming (Computer science) 53
- System design 52
- Reliability 51
- Testing 50
- Logic, Symbolic and mathematical 49
- Computer networks 45
- Computer simulation 44
- Computer logic 43
- Logic design 43
- Computer systems 38
- Systems engineering 37
- Computers 36
- Computer programming 35
- Computer network protocols 34
- Computer programs 34
- Computer-aided design 34
- Engineering 32
- Security measures 32
-
1
-
2
Formal methods 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings /
Published 2020Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Formal methods FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.
Published 2020Table of Contents: “…First History of Formal Methods Workshop -- NSAD 2019: 8th International …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Formal methods FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.
Published 2020Table of Contents: “…Workshop on Formal Methods for Interactive Systems.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
5
-
6
Formal methods applications and technology : 11th international...
Published 2007Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Electronic Conference Proceeding eBook -
7
Formal methods : industrial use from model to the code /
Published 2012Table of Contents: “…classic languages to formal methods -- Formal method in railway, the first …”
Full Text (via ProQuest)
eBook -
8
Formal methods 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /
Published 2021Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /
Published 2017Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook -
10
Formal methods : foundations and applications : 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
Published 2018Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook -
11
Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
Published 2018Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook -
12
Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings /
Published 2023Table of Contents: “…Regular Constraints -- Formal Methods in AI -- Verifying Feedforward Neural Networks …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
Formal methods : an appetizer /
Published 2019Subjects: “…Formal methods (Computer science)…”
Full Text (via Springer)
eBook -
14
Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
Published 2016Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook -
15
Formal methods foundations and applications : 12th Brazilian...
Published 2009Table of Contents: “…-- An Integrated Formal Methods Tool-Chain and Its Application to Verifying …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
-
17
Formal methods state of the art and new directions /
Published 2010Table of Contents: “…Computer Ate my Vote -- Formal Methods for Biomechanical Signalling Pathways -- …”
Full Text (via Springer)
Electronic eBook -
18
Formal methods applications and technology : 11th international...
Published 2007Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
19
Formal methods : foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings /
Published 2015Subjects: “…Formal methods (Computer science) Congresses. http://id.…”
Full Text (via Springer)
Conference Proceeding eBook -
20