Languages
Legay, Axel.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Bensalem, Saddek.; SpringerLink (Online service); Legay, Axel.
(Language materials, printed)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
Legay, Axel.; SpringerLink (Online service); Bertacco, Valeria.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
Legay, Axel.; Given-Wilson, Thomas.; SpringerLink (Online service); Biondi, Fabrizio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers /
by:
Legay, Axel.; SpringerLink (Online service); Lanet, Jean-Louis.; Garcia-Alfaro, Joaquin.; Cuppens, Frédéric.; Cuppens, Nora.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
Legay, Axel.; SpringerLink (Online service); Peled, Doron.; Artho, Cyrille.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Computer Communication Networks.
Software engineering.
System Performance and Evaluation.
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Computer programming.
Computer programs
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithms.
Special purpose computers.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Application software.
Artificial Intelligence.
Data encryption (Computer science).
Cryptology.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computing Milieux.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software architecture
Computer software
Software Engineering.