Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (5)

Jump To : Overview | Titles | Subjects

Legay, Axel.

Overview

Works:	0 works in 5 publications in 1 languages

Titles

From programs to systems - the systems perspective in computing = ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014 : proceedings / by: Bensalem, Saddek.; Lakhneck, Yassine.; Legay, Axel.; SpringerLink (Online service) (Electronic resources)

Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: International SPIN Workshop (2019 :); Biondi, Fabrizio.; Given-Wilson, Thomas.; Legay, Axel.; SpringerLink (Online service) (Electronic resources)

Formal modeling and analysis of timed systems = 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: Legay, Axel.; Bozga, Marius.; SpringerLink (Online service) (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part II / by: TACAS (Conference) (2017 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service); ETAPS (Conference) (2017 :) (Electronic resources)

Tools and algorithms for the construction and analysis of systems = 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.. Part I / by: ETAPS (Conference) (2017 :); TACAS (Conference) (2017 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Software Engineering. Software engineering Logics and Meanings of Programs. Computer systems Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. SPIN (Computer file) Programming Languages, Compilers, Interpreters. Formal methods (Computer science) System design Computer simulation Computer software- Testing Computer programs Computer Science. Computer software- Verification Simulation and Modeling. System Performance and Evaluation. Temporal automata System analysis Computer Applications.

Change password

Login